{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,5]],"date-time":"2025-11-05T11:09:18Z","timestamp":1762340958631},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319519623"},{"type":"electronic","value":"9783319519630"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-51963-0_6","type":"book-chapter","created":{"date-parts":[[2017,1,10]],"date-time":"2017-01-10T01:17:39Z","timestamp":1484011059000},"page":"62-75","source":"Crossref","is-referenced-by-count":3,"title":["Symbolic Semantics for Multiparty Interactions in the Link-Calculus"],"prefix":"10.1007","author":[{"given":"Linda","family":"Brodo","sequence":"first","affiliation":[]},{"given":"Carlos","family":"Olarte","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,11]]},"reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-37635-1_1","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C Bodei","year":"2013","unstructured":"Bodei, C., Brodo, L., Bruni, R.: Open multiparty interaction. In: Mart\u00ed-Oliet, N., Palomino, M. (eds.) WADT 2012. LNCS, vol. 7841, pp. 1\u201323. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-37635-1_1"},{"issue":"1","key":"6_CR2","first-page":"91","volume":"24","author":"C Bodei","year":"2014","unstructured":"Bodei, C., Brodo, L., Bruni, R., Chiarugi, D.: A flat process calculus for nested membrane interactions. Sci. Ann. Comp. Sci. 24(1), 91\u2013136 (2014)","journal-title":"Sci. Ann. Comp. Sci."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Calder, M., Shankland, C.: A symbolic semantics and bisimulation for full LOTOS. In: Kim, M., Chin, B., Kang, S., Lee, D. (eds.) IFIP Conference Proceedings, FORTE, vol. 197, pp. 185\u2013200. Kluwer (2001)","DOI":"10.1007\/0-306-47003-9_12"},{"key":"6_CR4","series-title":"Texts in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-21491-7","volume-title":"Introduction to Concurrency Theory - Transition Systems and CCS","author":"R Gorrieri","year":"2015","unstructured":"Gorrieri, R., Versari, C.: Introduction to Concurrency Theory - Transition Systems and CCS. Texts in Theoretical Computer Science. An EATCS Series. Springer, Cham (2015)"},{"issue":"2","key":"6_CR5","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0304-3975(94)00172-F","volume":"138","author":"M Hennessy","year":"1995","unstructured":"Hennessy, M., Lin, H.: Symbolic bisimulations. Theor. Comput. Sci. 138(2), 353\u2013389 (1995)","journal-title":"Theor. Comput. Sci."},{"key":"6_CR6","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511569951","volume-title":"A Compositional Approach to Performance Modelling","author":"J Hillston","year":"1996","unstructured":"Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, New York (1996)"},{"key":"6_CR7","volume-title":"Communicating Sequential Processes","author":"CAR Hoare","year":"1985","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall Inc, Upper Saddle River (1985)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Lehmann, D.J., Rabin, M.O.: On the advantages of free choice: a symmetric and fully distributed solution to the dining philosophers problem. In: White, J., Lipton, R.J., Goldberg, P.C. (eds.) POPL, pp. 133\u2013138. ACM Press (1981)","DOI":"10.1145\/567532.567547"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980)"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Montanari, U., Sammartino, M.: Network conscious pi-calculus: a concurrent semantics. In: Proceedings of Mathematical Foundations of Programming Semantics (MFPS), Electronic Notes in Theoretical Computer Science, vol. 286, pp. 291\u2013306. Elsevier (2012)","DOI":"10.1016\/j.entcs.2012.08.019"},{"issue":"2","key":"6_CR11","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/S1571-0661(04)00123-9","volume":"16","author":"U Nestmann","year":"1998","unstructured":"Nestmann, U.: On the expressive power of joint input. Electron. Notes Theor. Comput. Sci. 16(2), 145\u2013152 (1998)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1007\/3-540-36135-9_19","volume-title":"Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002","author":"A Verdejo","year":"2002","unstructured":"Verdejo, A.: Building tools for LOTOS symbolic semantics in maude. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 292\u2013307. Springer, Heidelberg (2002). doi: 10.1007\/3-540-36135-9_19"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2017: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-51963-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,17]],"date-time":"2019-09-17T06:02:53Z","timestamp":1568700173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51963-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319519623","9783319519630"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51963-0_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}