{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T03:29:27Z","timestamp":1771471767050,"version":"3.50.1"},"reference-count":26,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T00:00:00Z","timestamp":1415577600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[2016,3]]},"abstract":"<jats:p>Session types and contracts are two formalisms used to study client\u2013server protocols. In this paper, we study the relationship between them. The main result is the existence of a fully abstract model of session types; this model is based on a natural interpretation of these types into a subset of contracts.<\/jats:p>","DOI":"10.1017\/s0960129514000243","type":"journal-article","created":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T17:59:53Z","timestamp":1415642393000},"page":"510-560","source":"Crossref","is-referenced-by-count":17,"title":["Modelling session types using contracts"],"prefix":"10.1017","volume":"26","author":[{"given":"GIOVANNI","family":"BERNARDI","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MATTHEW","family":"HENNESSY","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,11,10]]},"reference":[{"key":"S0960129514000243_ref21","unstructured":"oasis Standard (2011) Universal Description, Discovery, and Integration. Available at http:\/\/uddi.xml.org\/"},{"key":"S0960129514000243_ref18","volume-title":"Communicating and Mobile Systems - the Pi-calculus","author":"Milner","year":"1999"},{"key":"S0960129514000243_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0177-z"},{"key":"S0960129514000243_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21464-6_9"},{"key":"S0960129514000243_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.06.002"},{"key":"S0960129514000243_ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.05.002"},{"key":"S0960129514000243_ref16","doi-asserted-by":"crossref","unstructured":"McNeile A. (2010) A framework for the semantics of behavioral contracts In: Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, BM-FA '10, ACM, New York, NY, USA 3:1\u20133:5.","DOI":"10.1145\/1811147.1811150"},{"key":"S0960129514000243_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_16"},{"key":"S0960129514000243_ref26","unstructured":"Rose M. (1988) Post Office Protocol: Version 3, RFC 1081. Obsoleted by RFC 1225."},{"key":"S0960129514000243_ref2","first-page":"155","volume-title":"PPDP","author":"Barbanera","year":"2010"},{"key":"S0960129514000243_ref19","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90113-0"},{"key":"S0960129514000243_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68679-8_42"},{"key":"S0960129514000243_ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1538917.1538920"},{"key":"S0960129514000243_ref3","first-page":"327","volume-title":"SYNASC","author":"Bernardi","year":"2008"},{"key":"S0960129514000243_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_10"},{"key":"S0960129514000243_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-17660-8_53"},{"key":"S0960129514000243_ref5","doi-asserted-by":"crossref","unstructured":"Bravetti M. and Zavattaro G. (2009) Contract-based discovery and composition of web services In: Bernardo et al. (2009) 261\u2013295.","DOI":"10.1007\/978-3-642-01918-0_7"},{"key":"S0960129514000243_ref9","doi-asserted-by":"crossref","first-page":"297","DOI":"10.3233\/FUN-2002-52402","article-title":"Comparing refinements for failure and bisimulation semantics.","volume":"52","author":"Eshuis","year":"2002","journal-title":"Fundamenta Informaticae"},{"key":"S0960129514000243_ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68265-3_8"},{"key":"S0960129514000243_ref11","unstructured":"Gay S. , Vasconcelos V. and Ravara A. (2003) Session types for inter-process communication, Technical Report TR-2003-133, Department of Computing Science, University of Glasgow."},{"key":"S0960129514000243_ref17","volume-title":"Object-Oriented Software Construction","author":"Meyer","year":"1997"},{"key":"S0960129514000243_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053567"},{"key":"S0960129514000243_ref1","volume-title":"Web Services - Concepts, Architectures and Applications","author":"Alonso","year":"2004"},{"key":"S0960129514000243_ref24","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1017\/S096012950007002X","article-title":"Typing and subtyping for mobile processes.","volume":"6","author":"Pierce","year":"1996","journal-title":"Mathematical Structures in Computer Science"},{"key":"S0960129514000243_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01918-0"},{"key":"S0960129514000243_ref14","first-page":"212","volume-title":"Proceedings of the 18th international conference on Concurrency Theory","author":"Laneve","year":"2007"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129514000243","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,13]],"date-time":"2025-05-13T16:27:15Z","timestamp":1747153635000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129514000243\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,10]]},"references-count":26,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["S0960129514000243"],"URL":"https:\/\/doi.org\/10.1017\/s0960129514000243","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,11,10]]}}}