{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,8]],"date-time":"2025-06-08T22:27:47Z","timestamp":1749421667115},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319415789"},{"type":"electronic","value":"9783319415796"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-41579-6_8","type":"book-chapter","created":{"date-parts":[[2016,6,27]],"date-time":"2016-06-27T02:44:48Z","timestamp":1466995488000},"page":"91-106","source":"Crossref","is-referenced-by-count":3,"title":["Behavioural Analysis of Sessions Using the Calculus of Structures"],"prefix":"10.1007","author":[{"given":"Gabriel","family":"Ciobanu","sequence":"first","affiliation":[]},{"given":"Ross","family":"Horne","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S Abramsky","year":"1993","unstructured":"Abramsky, S.: Computational interpretations of linear logic. Theoret. Comput. Sci. 111(1), 3\u201357 (1993)","journal-title":"Theoret. Comput. Sci."},{"issue":"9","key":"8_CR2","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/944746.944711","volume":"38","author":"V Benzaken","year":"2003","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-centric general-purpose language. ACM SIGPLAN Not. 38(9), 51\u201363 (2003)","journal-title":"ACM SIGPLAN Not."},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/978-3-642-15375-4_16","volume-title":"CONCUR 2010 - Concurrency Theory","author":"L Caires","year":"2010","unstructured":"Caires, L., Pfenning, F.: Session types as intuitionistic linear propositions. In: Gastin, P., Laroussinie, F. (eds.) CONCUR 2010. LNCS, vol. 6269, pp. 222\u2013236. Springer, Heidelberg (2010)"},{"key":"8_CR4","unstructured":"Chaudhuri, K., Guenot, N., Stra\u00dfburger, L.: The focused calculus of structures. In: EACSL, vol. 12, pp. 159\u2013173 (2011)"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-642-39212-2_18","volume-title":"Automata, Languages, and Programming","author":"P-M Deni\u00e9lou","year":"2013","unstructured":"Deni\u00e9lou, P.-M., Yoshida, N.: Multiparty compatibility in communicating automata: characterisation and synthesis of global session types. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol. 7966, pp. 174\u2013186. Springer, Heidelberg (2013)"},{"issue":"2\u20133","key":"8_CR6","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/s00236-005-0177-z","volume":"42","author":"S Gay","year":"2005","unstructured":"Gay, S., Hole, M.: Subtyping for session types in the pi calculus. Acta Informatica 42(2\u20133), 191\u2013225 (2005)","journal-title":"Acta Informatica"},{"issue":"1","key":"8_CR7","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1017\/S0956796809990268","volume":"20","author":"SJ Gay","year":"2010","unstructured":"Gay, S.J., Vasconcelos, V.T.: Linear type theory for asynchronous session types. J. Funct. Program. 20(1), 19 (2010)","journal-title":"J. Funct. Program."},{"issue":"2\u20133","key":"8_CR8","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0304-3975(88)90124-7","volume":"61","author":"JL Gischer","year":"1988","unstructured":"Gischer, J.L.: The equational theory of pomsets. Theoret. Comput. Sci. 61(2\u20133), 199\u2013224 (1988)","journal-title":"Theoret. Comput. Sci."},{"key":"8_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1182613.1182614","volume":"8","author":"A Guglielmi","year":"2007","unstructured":"Guglielmi, A.: A system of interaction and structure. ACM Trans. Comput. Logic 8, 1\u201364 (2007)","journal-title":"ACM Trans. Comput. Logic"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"509","DOI":"10.1007\/3-540-57208-2_35","volume-title":"CONCUR 1993","author":"K Honda","year":"1993","unstructured":"Honda, K.: Types for dyadic interaction. In: Best, E. (ed.) CONCUR 1993. LNCS, vol. 715, pp. 509\u2013523. Springer, Heidelberg (1993)"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-3-642-19056-8_4","volume-title":"Distributed Computing and Internet Technology","author":"K Honda","year":"2011","unstructured":"Honda, K., Mukhamedov, A., Brown, G., Chen, T.-C., Yoshida, N.: Scribbling interactions with a formal foundation. In: Natarajan, R., Ojo, A. (eds.) ICDCIT 2011. LNCS, vol. 6536, pp. 55\u201375. Springer, Heidelberg (2011)"},{"issue":"1","key":"8_CR12","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1145\/1328897.1328472","volume":"43","author":"K Honda","year":"2008","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. ACM SIGPLAN Not. 43(1), 273\u2013284 (2008)","journal-title":"ACM SIGPLAN Not."},{"issue":"2","key":"8_CR13","doi-asserted-by":"publisher","first-page":"245","DOI":"10.7561\/SACS.2015.2.245","volume":"XXV","author":"R Horne","year":"2015","unstructured":"Horne, R.: The consistency and complexity of multiplicative additive system virtual. Sci. Ann. Comput. Sci. XXV(2), 245\u2013316 (2015). doi: 10.7561\/SACS.2015.2.245","journal-title":"Sci. Ann. Comput. Sci."},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"130","DOI":"10.1007\/978-3-642-40787-1_8","volume-title":"Runtime Verification","author":"R Hu","year":"2013","unstructured":"Hu, R., Neykova, R., Yoshida, N., Demangeon, R., Honda, K.: Practical interruptible conversations. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 130\u2013148. Springer, Heidelberg (2013)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"516","DOI":"10.1007\/978-3-540-70592-5_22","volume-title":"ECOOP 2008 \u2013 Object-Oriented Programming","author":"R Hu","year":"2008","unstructured":"Hu, R., Yoshida, N., Honda, K.: Session-based distributed programming in java. In: Vitek, J. (ed.) ECOOP 2008. LNCS, vol. 5142, pp. 516\u2013541. Springer, Heidelberg (2008)"},{"key":"8_CR16","first-page":"35","volume":"219","author":"O Kahramanogullari","year":"2008","unstructured":"Kahramanogullari, O.: Maude as a platform for designing and implementing deep inference systems. ENTCS 219, 35\u201350 (2008)","journal-title":"ENTCS"},{"issue":"1","key":"8_CR17","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0168-0072(92)90075-B","volume":"56","author":"P Lincoln","year":"1992","unstructured":"Lincoln, P., et al.: Decision problems for propositional linear logic. Ann. Pure Appl. Logic 56(1), 239\u2013311 (1992)","journal-title":"Ann. Pure Appl. Logic"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/978-3-642-00590-9_23","volume-title":"Programming Languages and Systems","author":"D Mostrous","year":"2009","unstructured":"Mostrous, D., Yoshida, N., Honda, K.: Global principal typing in partially commutative asynchronous sessions. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol. 5502, pp. 316\u2013332. Springer, Heidelberg (2009)"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/978-3-642-30561-0_15","volume-title":"Objects, Models, Components, Patterns","author":"N Ng","year":"2012","unstructured":"Ng, N., Yoshida, N., Honda, K.: Multiparty session C: safe parallel programming with message optimisation. In: Furia, C.A., Nanz, S. (eds.) TOOLS 2012. LNCS, vol. 7304, pp. 202\u2013218. Springer, Heidelberg (2012)"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Pierce, B., Sangiorgi, D.: Typing and subtyping for mobile processes. In: LICS 1993, pp. 376\u2013385. IEEE (1993)","DOI":"10.1109\/LICS.1993.287570"},{"issue":"2","key":"8_CR21","first-page":"1","volume":"2","author":"A Tiu","year":"2006","unstructured":"Tiu, A.: A system of interaction, structure II: the need for deep inference. Logical Methods Comput. Sci. 2(2), 1\u201324 (2006)","journal-title":"Logical Methods Comput. Sci."},{"issue":"2\u20133","key":"8_CR22","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1017\/S095679681400001X","volume":"24","author":"P Wadler","year":"2014","unstructured":"Wadler, P.: Propositions as sessions. J. Funct. Prog. 24(2\u20133), 384\u2013418 (2014)","journal-title":"J. Funct. Prog."}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41579-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T17:13:20Z","timestamp":1498324400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41579-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319415789","9783319415796"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41579-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}