{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:26:18Z","timestamp":1767338778729},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616047"},{"type":"electronic","value":"9783540706250"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61604-7_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:02:30Z","timestamp":1330293750000},"page":"179-194","source":"Crossref","is-referenced-by-count":28,"title":["Decoding choice encodings"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Nestmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"R. M. Amadio, I. Castellani, and D. Sangiorgi. On Bisimulations for the Asynchronous \u03c0-Calculus. In Proceedings of CONCUR'96 (August 26\u201329, Pisa, Italy), 1996. This volume.","DOI":"10.1007\/3-540-61604-7_53"},{"key":"12_CR2","volume-title":"Rapport de Recherche 1702","author":"G. Boudol","year":"1992","unstructured":"G. Boudol. Asynchrony and the \u03c0-calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis, May 1992."},{"key":"12_CR3","series-title":"volume 924 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/3-540-59450-7_4","volume-title":"Object-Based Models and Languages for Concurrent Systems","author":"N. Busi","year":"1995","unstructured":"N. Busi and R. Gorrieri. Distributed Conflicts in Communicating Systems. In P. Ciancarini, O. Nierstrasz, and A. Yonezawa, editors, Object-Based Models and Languages for Concurrent Systems (Bologna, Italy, July 1994), volume 924 of Lecture Notes in Computer Science, pages 49\u201365. Springer, 1995."},{"key":"12_CR4","first-page":"372","volume-title":"The Reflexive Chemical Abstract Machine and the Join-Calculus","author":"C. Fournet","year":"1996","unstructured":"C. Fournet and G. Gonthier. The Reflexive Chemical Abstract Machine and the Join-Calculus. In 23rd Annual Symposium on Principles of Programming Languages (POPL) (St. Petersburg Beach, Florida), pages 372\u2013385. ACM Press, 1996."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"R. Glabbeek. The Linear Time \u2014 Branching Time Spectrum II: The semantics of sequential systems with silent moves (Extended Abstract). In E. Best, editor, Fourth International Conference on Concurrency Theory (CONCUR '93, Hildesheim), volume 715 of Lecture Notes in Computer Science, pages 66\u201381. Springer, 1993.","DOI":"10.1007\/3-540-57208-2_6"},{"key":"12_CR6","unstructured":"K. Honda. Two Bisimilarities in \u039d-Calculus. CS report 92-002, Keio University, 1992. Revised on March 31, 1993."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"K. Honda and M. Tokoro. An Object Calculus for Asynchronous Communication. In P. America, editor, ECOOP '91, volume 512 of Lecture Notes in Computer Science, pages 133\u2013147. Springer, 1991.","DOI":"10.1007\/BFb0057019"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"K. Honda and M. Tokoro. On Asynchronous Communication Semantics. In M. Tokoro, O. Nierstrasz, and P. Wegner, editors, Object-Based Concurrent Computing 1991, volume 612 of Lecture Notes in Computer Science, pages 21\u201351. Springer, 1992.","DOI":"10.1007\/3-540-55613-3_2"},{"issue":"2","key":"12_CR9","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/0304-3975(95)00074-7","volume":"152","author":"K. Honda","year":"1995","unstructured":"K. Honda and N. Yoshida. On Reduction-Based Process Semantics. Theoretical Computer Science, 152(2):437\u2013486, 1995.","journal-title":"Theoretical Computer Science"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"K. Honda and N. Yoshida. Combinatory Representation of Mobile Processes. In 21st Annual Symposium on Principles of Programming Languages (POPL), pages 348\u2013360. ACM Press, January 1994.","DOI":"10.1145\/174675.177953"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"K. Honda and N. Yoshida. Replication in Concurrent Combinators. In M. Hagiya and J. C. Mitchell, editors, Theoretical Aspects of Computer Software, volume 789 of Lecture Notes in Computer Science, pages 786\u2013805. Springer, 1994.","DOI":"10.1007\/3-540-57887-0_125"},{"issue":"5","key":"12_CR12","first-page":"475","volume":"12","author":"F. Knabe","year":"1993","unstructured":"F. Knabe. A Distributed Protocol for Channel-Based Communication with Choice. Computers and Artificial Intelligence, 12(5):475\u2013490, 1993.","journal-title":"Computers and Artificial Intelligence"},{"key":"12_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(92)90008-4","volume":"100","author":"R. Milner","year":"1992","unstructured":"R. Milner, J. Parrow, and D. Walker. A Calculus of Mobile Processes, Part I\/II. Information and Computation, 100:1\u201377, 1992.","journal-title":"Information and Computation"},{"key":"12_CR14","unstructured":"K. Mitchell. Implementations of Process Synchronisation and their Analysis. PhD thesis, LFCS, University of Edinburgh, July 1986."},{"key":"12_CR15","unstructured":"U. Nestmann. PhD thesis. Institut f\u00fcr Mathematische Maschinen und Datenverarbeitung, Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg. To appear 1996."},{"key":"12_CR16","unstructured":"U. Nestmann and B. C. Pierce. Decoding Choice Encodings. Interner Bericht IMMD VII-01\/96, Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Apr. 1996. Available from ftp:\/\/ftp.informatik.uni-erlangen.de\/local\/inf7\/papers\/Nestmann\/. Also as Technical Report 392, University of Cambridge."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"J. Parrow and P. Sj\u00f6din. Multiway Synchronization Verified with Coupled Simulation. In R. Cleaveland, editor, Third International Conference on Concurrency Theory (CONCUR '92, Stony Brook, NY), volume 630 of Lecture Notes in Computer Science, pages 518\u2013533. Springer, 1992.","DOI":"10.1007\/BFb0084813"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"J. Parrow and P. Sj\u00f6din. The Complete Axiomatization of cs-Congruence. In P. Enjalbert, E. W. Mayr, and K. W. Wagner, editors, STACS '94, volume 775 of Lecture Notes in Computer Science, pages 557\u2013568. Springer, 1994.","DOI":"10.1007\/3-540-57785-8_171"},{"key":"12_CR19","series-title":"volume 907 of Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BFb0026570","volume-title":"Theory and Practice of Parallel Programming","author":"B. C. Pierce","year":"1995","unstructured":"B. C. Pierce and D. N. Turner. Concurrent Objects in a Process Calculus. In T. Ito and A. Yonezawa, editors, Theory and Practice of Parallel Programming (TPPP, Sendai, Japan, 1994), volume 907 of Lecture Notes in Computer Science, pages 187\u2013215. Springer, 1995."},{"key":"12_CR20","unstructured":"B. C. Pierce and D. N. Turner. Pict: A programming language based on the pi-calculus. Technical report in preparation; available electronically, 1996."},{"key":"12_CR21","unstructured":"J. Reppy. Higher-Order Concurrency. PhD thesis, Cornell University, June 1992. Technical Report TR 92-1285."}],"container-title":["Lecture Notes in Computer Science","CONCUR '96: Concurrency Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61604-7_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:08:29Z","timestamp":1605647309000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61604-7_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616047","9783540706250"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-61604-7_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}