{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:48Z","timestamp":1762458828795},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212980"},{"type":"electronic","value":"9783540247272"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24727-2_17","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T11:06:41Z","timestamp":1280747201000},"page":"226-240","source":"Crossref","is-referenced-by-count":11,"title":["On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi"],"prefix":"10.1007","author":[{"given":"Pablo","family":"Giambiagi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank D.","family":"Valencia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"17_CR1","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1006\/inco.2001.3080","volume":"172","author":"M. Boreale","year":"2002","unstructured":"Boreale, M., De Nicola, R., Pugliese, R.: Trace and testing equivalence on asynchronous processes. Information and Computation\u00a0172(2), 139\u2013164 (2002)","journal-title":"Information and Computation"},{"key":"17_CR2","unstructured":"Busi, N., Gabbrielli, M., Zavattaro, G.: The expressive power of replication in CCS. Draft (2003)"},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/3-540-45061-0_12","volume-title":"Automata, Languages and Programming","author":"N. Busi","year":"2003","unstructured":"Busi, N., Gabbrielli, M., Zavattaro, G.: Replication vs. recursive definitions in channel based calculi. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, pp. 133\u2013144. Springer, Heidelberg (2003)"},{"issue":"1","key":"17_CR4","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/151646.151648","volume":"15","author":"R. Cleaveland","year":"1993","unstructured":"Cleaveland, R., Parrow, J., Steffen, B.: The ConcurrencyWorkbench:Asemantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems\u00a015(1), 36\u201372 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Engberg, U., Nielsen, M.: A calculus of communicating systems with label-passing. Technical report, University of Aarhus (1986)","DOI":"10.7146\/dpb.v15i208.7559"},{"key":"17_CR6","unstructured":"Giambiagi, P., Schneider, G., Valencia, F.D.: On the expressiveness of CCS-like calculi. Technical report, Uppsala University (2004), Postscript available from http:\/\/www.sics.se\/fdt\/publications\/GSV-Expr-TR04.ps"},{"key":"17_CR7","unstructured":"Maffeis, S., Phillips, I.: On the computational strength of pure ambient calculi. In: EXPRESS 2003 (2003)"},{"key":"17_CR8","unstructured":"Milner, R.: Calculi for synchrony and asynchrony. Technical Report CSR-104-82, University of Edinburgh (1982)"},{"key":"17_CR9","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs (1989)"},{"key":"17_CR10","volume-title":"Communicating and Mobile Systems: The \u03c0-calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0-calculus. Cambridge University Press, Cambridge (1999)"},{"key":"17_CR11","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1145\/263699.263731","volume-title":"POPL 1997","author":"C. Palamidessi","year":"1997","unstructured":"Palamidessi, C.: Comparing the expressive power of the synchronous and the asynchronous \u03c0-calculus. In: POPL 1997, pp. 256\u2013265. ACM Press, New York (1997)"},{"key":"17_CR12","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1016\/B978-044482830-9\/50026-6","volume-title":"Handbook of Process Algebra","author":"J. Parrow","year":"2001","unstructured":"Parrow, J.: An introduction to the \u03c0-calculus. In: Handbook of Process Algebra, pp. 479\u2013543. Elsevier, Amsterdam (2001)"},{"key":"17_CR13","volume-title":"The \u03c0\u2212calculus: A Theory of Mobile Processes","author":"D. Sangiorgi","year":"2001","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0\u2212calculus: A Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/75277.75290","volume-title":"POPL 1989","author":"B. Thomsen","year":"1989","unstructured":"Thomsen, B.: A calculus of higher order communicating systems. In: POPL 1989, pp. 143\u2013154. ACM, New York (1989)"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24727-2_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T23:23:06Z","timestamp":1559344986000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24727-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212980","9783540247272"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24727-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}