{"id":"https://openalex.org/W2069353351","doi":"https://doi.org/10.1017/s0960129512000953","title":"CaSPiS: a calculus of sessions, pipelines and services","display_name":"CaSPiS: a calculus of sessions, pipelines and services","publication_year":2014,"publication_date":"2014-11-10","ids":{"openalex":"https://openalex.org/W2069353351","doi":"https://doi.org/10.1017/s0960129512000953","mag":"2069353351"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129512000953","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129512000953","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/11568/159220","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5078624552","display_name":"Michele Boreale","orcid":"https://orcid.org/0000-0002-1972-7491"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"MICHELE BOREALE","raw_affiliation_strings":["Dipartimento di Statistica, Informatica, Applicazioni \u201cG. Parenti\u201d, Universit\u00e0 di Firenze, Viale Morgagni 65, I-50134 Firenze, Italy Email:","\u2019Universit\u00e0 di Firenze"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Statistica, Informatica, Applicazioni \u201cG. Parenti\u201d, Universit\u00e0 di Firenze, Viale Morgagni 65, I-50134 Firenze, Italy Email:","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"\u2019Universit\u00e0 di Firenze","institution_ids":["https://openalex.org/I45084792"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101611155","display_name":"Roberto Bruni","orcid":"https://orcid.org/0000-0002-7771-4154"},"institutions":[{"id":"https://openalex.org/I4210160382","display_name":"Istituto Nazionale di Fisica Nucleare, Sezione di Pisa","ror":"https://ror.org/05symbg58","country_code":"IT","type":"facility","lineage":["https://openalex.org/I160013858","https://openalex.org/I4210160382"]},{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ROBERTO BRUNI","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Pisa, Largo Bruno Pontecorvo 3, I-56127 Pisa, Italy Email:","Universit\u00e0 di Pisa,"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Pisa, Largo Bruno Pontecorvo 3, I-56127 Pisa, Italy Email:","institution_ids":["https://openalex.org/I4210160382","https://openalex.org/I108290504"]},{"raw_affiliation_string":"Universit\u00e0 di Pisa,","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016732227","display_name":"Rocco De Nicola","orcid":"https://orcid.org/0000-0003-4691-7570"},"institutions":[{"id":"https://openalex.org/I127077003","display_name":"IMT School for Advanced Studies Lucca","ror":"https://ror.org/035gh3a49","country_code":"IT","type":"education","lineage":["https://openalex.org/I127077003"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ROCCO DE NICOLA","raw_affiliation_strings":["IMT- Institute for Advanced Studies Lucca, Piazza S. Ponziano, 6 I-55100 Lucca, Italy Email:","IMT Institute for Advanced Studies Lucca"],"affiliations":[{"raw_affiliation_string":"IMT- Institute for Advanced Studies Lucca, Piazza S. Ponziano, 6 I-55100 Lucca, Italy Email:","institution_ids":["https://openalex.org/I127077003"]},{"raw_affiliation_string":"IMT Institute for Advanced Studies Lucca","institution_ids":["https://openalex.org/I127077003"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069085203","display_name":"Michele Loreti","orcid":"https://orcid.org/0000-0003-3061-863X"},"institutions":[{"id":"https://openalex.org/I45084792","display_name":"University of Florence","ror":"https://ror.org/04jr1s763","country_code":"IT","type":"education","lineage":["https://openalex.org/I45084792"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"MICHELE LORETI","raw_affiliation_strings":["Dipartimento di Statistica, Informatica, Applicazioni \u201cG. Parenti\u201d, Universit\u00e0 di Firenze, Viale Morgagni 65, I-50134 Firenze, Italy Email:","\u2019Universit\u00e0 di Firenze"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Statistica, Informatica, Applicazioni \u201cG. Parenti\u201d, Universit\u00e0 di Firenze, Viale Morgagni 65, I-50134 Firenze, Italy Email:","institution_ids":["https://openalex.org/I45084792"]},{"raw_affiliation_string":"\u2019Universit\u00e0 di Firenze","institution_ids":["https://openalex.org/I45084792"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5078624552"],"corresponding_institution_ids":["https://openalex.org/I45084792"],"apc_list":null,"apc_paid":null,"fwci":1.5778,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.88114568,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"25","issue":"3","first_page":"666","last_page":"709"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8321014642715454},{"id":"https://openalex.org/keywords/process-calculus","display_name":"Process calculus","score":0.7931069135665894},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.755233883857727},{"id":"https://openalex.org/keywords/orchestration","display_name":"Orchestration","score":0.7525159120559692},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5618616938591003},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5462992191314697},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5279556512832642},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5149286985397339},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43968626856803894},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.4104781746864319},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.13784846663475037},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.090079665184021}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8321014642715454},{"id":"https://openalex.org/C161771561","wikidata":"https://www.wikidata.org/wiki/Q1970286","display_name":"Process calculus","level":2,"score":0.7931069135665894},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.755233883857727},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.7525159120559692},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5618616938591003},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5462992191314697},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5279556512832642},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5149286985397339},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43968626856803894},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.4104781746864319},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.13784846663475037},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.090079665184021},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.1017/s0960129512000953","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129512000953","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:eprints.imtlucca.it:1493","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401340","display_name":"IMT Institutional Repository (IMT School for Advanced Studies Lucca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I127077003","host_organization_name":"IMT School for Advanced Studies Lucca","host_organization_lineage":["https://openalex.org/I127077003"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Working Paper"},{"id":"pmh:oai:arpi.unipi.it:11568/159220","is_oa":true,"landing_page_url":"http://hdl.handle.net/11568/159220","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:flore.unifi.it:2158/1003000","is_oa":false,"landing_page_url":"http://hdl.handle.net/2158/1003000","pdf_url":null,"source":{"id":"https://openalex.org/S4306402033","display_name":"Florence Research (University of Florence)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45084792","host_organization_name":"University of Florence","host_organization_lineage":["https://openalex.org/I45084792"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:pubblicazioni.unicam.it:11581/404992","is_oa":true,"landing_page_url":"http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9534403&fileId=S0960129512000953","pdf_url":null,"source":{"id":"https://openalex.org/S4306400819","display_name":"Unicam Scientific Publications (University of Camerino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I112859197","host_organization_name":"Universit\u00e0 di Camerino","host_organization_lineage":["https://openalex.org/I112859197"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:arpi.unipi.it:11568/159220","is_oa":true,"landing_page_url":"http://hdl.handle.net/11568/159220","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W27177897","https://openalex.org/W58450904","https://openalex.org/W140604030","https://openalex.org/W147071378","https://openalex.org/W150683364","https://openalex.org/W1479802880","https://openalex.org/W1492982544","https://openalex.org/W1499478096","https://openalex.org/W1509205521","https://openalex.org/W1511544530","https://openalex.org/W1513890874","https://openalex.org/W1528588771","https://openalex.org/W1535774177","https://openalex.org/W1543606432","https://openalex.org/W1544276271","https://openalex.org/W1552478618","https://openalex.org/W1552587784","https://openalex.org/W1553080197","https://openalex.org/W1562729841","https://openalex.org/W1573313194","https://openalex.org/W1573475271","https://openalex.org/W1577894979","https://openalex.org/W1580055894","https://openalex.org/W1582448833","https://openalex.org/W1585111997","https://openalex.org/W1598280950","https://openalex.org/W1606143923","https://openalex.org/W1614161734","https://openalex.org/W1648274008","https://openalex.org/W1780016311","https://openalex.org/W1784055113","https://openalex.org/W1846674900","https://openalex.org/W1941373452","https://openalex.org/W1964026148","https://openalex.org/W1979524713","https://openalex.org/W1992832386","https://openalex.org/W2040105559","https://openalex.org/W2048909687","https://openalex.org/W2064415471","https://openalex.org/W2098738649","https://openalex.org/W2124831391","https://openalex.org/W2128932399","https://openalex.org/W2135716933","https://openalex.org/W2148896402","https://openalex.org/W2150864072","https://openalex.org/W2162282992","https://openalex.org/W2167399349","https://openalex.org/W2167928477","https://openalex.org/W2346252356","https://openalex.org/W2911625174","https://openalex.org/W3023060607","https://openalex.org/W4285719527","https://openalex.org/W6630483055","https://openalex.org/W6675001227","https://openalex.org/W6680139002","https://openalex.org/W6681705691"],"related_works":["https://openalex.org/W79913212","https://openalex.org/W2094884983","https://openalex.org/W2378898096","https://openalex.org/W560952460","https://openalex.org/W2290927522","https://openalex.org/W4283579741","https://openalex.org/W1973480752","https://openalex.org/W3066706303","https://openalex.org/W876159576","https://openalex.org/W2022664955"],"abstract_inverted_index":{"Service-oriented":[0],"computing":[1],"is":[2,68,103,124,139],"calling":[3],"for":[4,13,40,73],"novel":[5],"computational":[6],"models":[7],"and":[8,18,34,50],"languages":[9],"with":[10,71],"well-disciplined":[11],"primitives":[12],"client\u2013server":[14],"interaction,":[15],"structured":[16],"orchestration":[17,113],"unexpected":[19],"events":[20],"handling.":[21],"We":[22],"present":[23],"CaSPiS,":[24],"a":[25,37,82,104,128],"process":[26],"calculus":[27,67],"where":[28],"the":[29,58,78,92,95,145],"conceptual":[30],"abstractions":[31],"of":[32,60,77,81,91,94,98,108,131,147],"sessioning":[33],"pipelining":[35],"play":[36],"central":[38],"role":[39],"modelling":[41],"service-oriented":[42],"systems.":[43],"CaSPiS":[44,54,122],"sessions":[45],"are":[46,86],"two-sided,":[47],"uniquely":[48],"named":[49],"can":[51],"be":[52],"nested.":[53],"pipelines":[55],"permit":[56],"orchestrating":[57],"flow":[59],"data":[61],"produced":[62],"by":[63],"different":[64],"sessions.":[65],"The":[66],"also":[69],"equipped":[70],"operators":[72],"handling":[74],"(unexpected)":[75],"termination":[76],"partner's":[79],"side":[80],"session.":[83],"Several":[84],"examples":[85],"presented":[87],"to":[88,126,141],"provide":[89],"evidence":[90],"flexibility":[93],"chosen":[96],"set":[97],"primitives.":[99],"One":[100],"key":[101],"contribution":[102],"fully":[105],"abstract":[106],"encoding":[107],"Misra":[109],"et":[110],"al.":[111],"'s":[112],"language":[114],"Orc.":[115],"Another":[116],"main":[117],"result":[118],"shows":[119],"that":[120,136],"in":[121],"it":[123],"possible":[125],"program":[127],"\u2018graceful":[129],"termination\u2019":[130],"nested":[132],"sessions,":[133],"which":[134],"guarantees":[135],"no":[137],"session":[138],"forced":[140],"hang":[142],"forever":[143],"after":[144],"loss":[146],"its":[148],"partner.":[149]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}