{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T07:03:45Z","timestamp":1725865425646},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319467498"},{"type":"electronic","value":"9783319467504"}],"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-46750-4_9","type":"book-chapter","created":{"date-parts":[[2016,9,21]],"date-time":"2016-09-21T02:11:57Z","timestamp":1474423917000},"page":"139-157","source":"Crossref","is-referenced-by-count":1,"title":["On the Expressiveness of Symmetric Communication"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Given-Wilson","sequence":"first","affiliation":[]},{"given":"Axel","family":"Legay","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,22]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Bengtson, J., Johansson, M., Parrow, J., Victor, B.: Psi-calculi: a framework for mobile processes with nominal data and logic. Log. Methods Comput. Sci. 7(1) (2011)","DOI":"10.2168\/LMCS-7(1:11)2011"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Bengtson, J., Parrow, J.: Formalising the pi-calculus using nominal logic. Log. Methods Comput. Sci. 5(2) (2009)","DOI":"10.2168\/LMCS-5(2:16)2009"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Boudol, G.: Notes on algebraic calculi of processes. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems, pp. 261\u2013303. Springer, New York (1985)","DOI":"10.1007\/978-3-642-82453-1_9"},{"issue":"1\u20132","key":"9_CR4","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1006\/inco.1999.2823","volume":"156","author":"N Busi","year":"2000","unstructured":"Busi, N., Gorrieri, R., Zavattaro, G.: On the expressiveness of Linda coordination primitives. Inf. Comput. 156(1\u20132), 90\u2013121 (2000)","journal-title":"Inf. Comput."},{"issue":"2","key":"9_CR5","first-page":"70","volume":"10","author":"M Carbone","year":"2003","unstructured":"Carbone, M., Maffeis, S.: On the expressive power of polyadic synchronisation in $$\\pi $$ -calculus. Nordic J. Comput. 10(2), 70\u201398 (2003)","journal-title":"Nordic J. Comput."},{"key":"9_CR6","unstructured":"de Boer, F.S., Palamidessi, C.: Concurrent logic programming: asynchronism and language comparison. In: Proceedings of the 1990 North American Conference on Logic Programming, pp. 175\u2013194. MIT Press, Cambridge (1990)"},{"issue":"1","key":"9_CR7","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1006\/inco.1994.1004","volume":"108","author":"FS Boer de","year":"1994","unstructured":"de Boer, F.S., Palamidessi, C.: Embedding as a tool for language comparison. Inf. Comput. 108(1), 128\u2013157 (1994)","journal-title":"Inf. Comput."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G.: The reflexive cham and the join-calculus. In: Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pp. 372\u2013385. ACM Press (1996)","DOI":"10.1145\/237721.237805"},{"issue":"1","key":"9_CR9","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D Gelernter","year":"1985","unstructured":"Gelernter, D.: Generative communication in Linda. ACM Trans. Program. Lang. Syst. 7(1), 80\u2013112 (1985)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR10","unstructured":"Given-Wilson, T.: Concurrent Pattern Unification. Ph.D. thesis, University of Technology, Sydney, Australia (2012)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Given-Wilson, T.: An intensional concurrent faithful encoding of Turing machines. In: Proceedings of the ICE 2014, Berlin, Germany, 6 June 2014, pp. 21\u201337 (2014)","DOI":"10.4204\/EPTCS.166.4"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Given-Wilson, T.: On the expressiveness of intensional communication. In: Proceedings of EXPRESS\/SOS, Rome, Italie, September 2014","DOI":"10.4204\/EPTCS.160.4"},{"key":"9_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/978-3-642-38493-6_5","volume-title":"Coordination Models and Languages","author":"T Given-Wilson","year":"2013","unstructured":"Given-Wilson, T., Gorla, D.: Pattern matching and bisimulation. In: Nicola, R., Julien, C. (eds.) COORDINATION 2013. LNCS, vol. 7890, pp. 60\u201374. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-38493-6_5"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Given-Wilson, T., Gorla, D., Jay, B.: A concurrent pattern calculus. Log. Methods Comput. Sci. 10(3) (2014)","DOI":"10.2168\/LMCS-10(3:10)2014"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Given-Wilson, T., Legay, A.: On the expressiveness of joining. In: ICE 2015, Grenoble, France, June 2015","DOI":"10.4204\/EPTCS.189.9"},{"issue":"8","key":"9_CR16","doi-asserted-by":"crossref","first-page":"931","DOI":"10.1016\/j.ic.2008.05.001","volume":"206","author":"D Gorla","year":"2008","unstructured":"Gorla, D.: Comparing communication primitives via their relative expressive power. Inf. Comput. 206(8), 931\u2013952 (2008)","journal-title":"Inf. Comput."},{"issue":"4","key":"9_CR17","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/s00446-010-0120-6","volume":"23","author":"D Gorla","year":"2010","unstructured":"Gorla, D.: A taxonomy of process calculi for distribution and mobility. Distrib. Comput. 23(4), 273\u2013299 (2010)","journal-title":"Distrib. Comput."},{"issue":"9","key":"9_CR18","doi-asserted-by":"crossref","first-page":"1031","DOI":"10.1016\/j.ic.2010.05.002","volume":"208","author":"D Gorla","year":"2010","unstructured":"Gorla, D.: Towards a unified approach to encodability and separation results for process calculi. Inf. Comput. 208(9), 1031\u20131053 (2010)","journal-title":"Inf. Comput."},{"key":"9_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-89185-7","volume-title":"Pattern Calculus: Computing with Functions and Data Structures","author":"B Jay","year":"2009","unstructured":"Jay, B.: Pattern Calculus: Computing with Functions and Data Structures. Springer, Heidelberg (2009)"},{"issue":"3","key":"9_CR20","doi-asserted-by":"crossref","first-page":"807","DOI":"10.2178\/jsl\/1309952521","volume":"76","author":"B Jay","year":"2011","unstructured":"Jay, B., Given-Wilson, T.: A combinatory account of internal structure. J. Symbol. Logic 76(3), 807\u2013826 (2011)","journal-title":"J. Symbol. Logic"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1007\/978-3-642-14162-1_37","volume-title":"Automata, Languages and Programming","author":"I Lanese","year":"2010","unstructured":"Lanese, I., P\u00e9rez, J.A., Sangiorgi, D., Schmitt, A.: On the expressiveness of polyadic and synchronous communication in higher-order process calculi. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 442\u2013453. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-14162-1_37"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-642-11957-6_20","volume-title":"Programming Languages and Systems","author":"I Lanese","year":"2010","unstructured":"Lanese, I., Vaz, C., Ferreira, C.: On the expressive power of primitives for compensation handling. In: Gordon, A.D. (ed.) ESOP 2010. LNCS, vol. 6012, pp. 366\u2013386. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-11957-6_20"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Milner, R.: The polyadic $$\\pi $$ -calculus: a tutorial. In: Logic and Algebra of Specification, vol. 94. Series F. NATO ASI, 203\u2013246. Springer, Heidelberg (1993)","DOI":"10.1007\/978-3-642-58041-3_6"},{"issue":"1","key":"9_CR24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R Milner","year":"1992","unstructured":"Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes I & II. Inf. Comput. 100(1), 1\u201377 (1992)","journal-title":"Inf. Comput."},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Nielsen, L., Yoshida, N., Honda, K.: Multiparty symmetric sum types. In: Proceedings of EXPRESS, pp. 121\u2013135 (2010)","DOI":"10.4204\/EPTCS.41.9"},{"issue":"5","key":"9_CR26","doi-asserted-by":"crossref","first-page":"685","DOI":"10.1017\/S0960129503004043","volume":"13","author":"C Palamidessi","year":"2003","unstructured":"Palamidessi, C.: Comparing the expressive power of the synchronous and asynchronous pi-calculi. Math. Struct. Comp. Sci. 13(5), 685\u2013719 (2003)","journal-title":"Math. Struct. Comp. Sci."},{"key":"9_CR27","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/j.entcs.2008.04.011","volume":"209","author":"J Parrow","year":"2008","unstructured":"Parrow, J.: Expressiveness of process algebras. Electron. Not. Theoret. Comput. Sci. 209, 173\u2013186 (2008)","journal-title":"Electron. Not. Theoret. Comput. Sci."},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Parrow, J., Victor, B.: The fusion calculus: expressiveness and symmetry in mobile processes. In: Proceedings of 13th Annual IEEE Symposium on Logic in Computer Science, pp. 176\u2013185, June 1998","DOI":"10.1109\/LICS.1998.705654"},{"key":"9_CR29","unstructured":"Peters, K.: Translational expressiveness: comparing process calculi using encodings. Ph.D. thesis, Technische Universit\u00e4t Berlin, Fakult\u00e4t IV, Germany (2012)"},{"key":"9_CR30","doi-asserted-by":"crossref","unstructured":"Shapiro, E.: Separating concurrent languages with categories of language embeddings. In: Proceedings of the Twenty-Third Annual ACM Symposium on Theory of Computing, STOC 1991, pp. 198\u2013208. ACM, New York (1991)","DOI":"10.1145\/103418.103423"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J.: Musings on encodings and expressiveness. In: Proceedings of EXPRESS\/SOS. EPTCS, vol. 89, pp. 81\u201398 (2012)","DOI":"10.4204\/EPTCS.89.7"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing \u2013 ICTAC 2016"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46750-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T20:29:40Z","timestamp":1568406580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46750-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319467498","9783319467504"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46750-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}