{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T23:35:40Z","timestamp":1790811340345,"version":"4.1.0"},"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>The subtyping relation defined for dyadic session type theories may compromise the liveness of multi-party sessions. In this paper, we define a<jats:italic>fair<\/jats:italic>subtyping relation for multi-party session types that preserves liveness, we relate it with the subtyping relation for dyadic session types and provide coinductive, axiomatic and algorithmic characterizations for it.<\/jats:p>","DOI":"10.1017\/s096012951400022x","type":"journal-article","created":{"date-parts":[[2014,11,10]],"date-time":"2014-11-10T07:05:11Z","timestamp":1415603111000},"page":"424-464","source":"Crossref","is-referenced-by-count":13,"title":["Fair subtyping for multi-party session types"],"prefix":"10.1017","volume":"26","author":[{"given":"LUCA","family":"PADOVANI","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[2014,11,10]]},"reference":[{"key":"S096012951400022X_ref15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57208-2_35"},{"key":"S096012951400022X_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129509007658"},{"key":"S096012951400022X_ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-005-0177-z"},{"key":"S096012951400022X_ref21","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.45.6"},{"key":"S096012951400022X_ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2009.12.001"},{"key":"S096012951400022X_ref2","first-page":"843","volume-title":"Proceedings of AAMAS'09","author":"Baldoni","year":"2009"},{"key":"S096012951400022X_ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1599410.1599437"},{"key":"S096012951400022X_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053567"},{"key":"S096012951400022X_ref1","doi-asserted-by":"publisher","DOI":"10.1145\/147508.147527"},{"key":"S096012951400022X_ref3","first-page":"155","volume-title":"Proceedings of PPDP'10","author":"Barbanera","year":"2010"},{"key":"S096012951400022X_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60084-1_112"},{"key":"S096012951400022X_ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.01.049"},{"key":"S096012951400022X_ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21464-6_9"},{"key":"S096012951400022X_ref22","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129511000405"},{"key":"S096012951400022X_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14458-5_5"},{"key":"S096012951400022X_ref26","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.58.3"},{"key":"S096012951400022X_ref4","first-page":"451","article-title":"A foundational theory of contracts for multi-party service composition.","volume":"89","author":"Bravetti","year":"2008","journal-title":"Fundamenta Informaticae"},{"key":"S096012951400022X_ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328472"},{"key":"S096012951400022X_ref17","doi-asserted-by":"publisher","DOI":"10.1142\/S012905410600411X"},{"key":"S096012951400022X_ref10","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-8(1:24)2012"},{"key":"S096012951400022X_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39212-2_34"},{"key":"S096012951400022X_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90059-2"},{"key":"S096012951400022X_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":"S096012951400022X_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_16"},{"key":"S096012951400022X_ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2006.06.002"},{"key":"S096012951400022X_ref16","first-page":"120","volume-title":"Proceedings of ATVA'04","author":"Malik","year":"2004"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S096012951400022X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,17]],"date-time":"2019-08-17T01:40:30Z","timestamp":1566006030000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S096012951400022X\/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":["S096012951400022X"],"URL":"https:\/\/doi.org\/10.1017\/s096012951400022x","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]]}}}