{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:27:10Z","timestamp":1725460030866},"publisher-location":"Boston","reference-count":18,"publisher":"Kluwer Academic Publishers","isbn-type":[{"type":"print","value":"1402081405"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/1-4020-8141-3_37","type":"book-chapter","created":{"date-parts":[[2006,2,21]],"date-time":"2006-02-21T15:15:11Z","timestamp":1140534911000},"page":"479-492","source":"Crossref","is-referenced-by-count":0,"title":["Effective Chemistry for Synchrony and Asynchrony"],"prefix":"10.1007","author":[{"given":"Deepak","family":"Garg","sequence":"first","affiliation":[]},{"given":"Akash","family":"Lal","sequence":"additional","affiliation":[]},{"given":"Sanjiva","family":"Prasad","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"37_CR1","doi-asserted-by":"crossref","unstructured":"R. Amadio and S. Prasad. Modelling IP mobility. In Proceedings of CONCUR\u2019 98, LNCS vol. 146: 301\u2013316. Springer, 1998.","DOI":"10.1007\/BFb0055630"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. In Proceedings of PoPL\u201990, pages 81\u201394. ACM, 1990.","DOI":"10.1145\/96709.96717"},{"key":"37_CR3","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0304-3975(92)90185-I","volume":"96","author":"G. Berry","year":"1992","unstructured":"G. Berry and G. Boudol. The chemical abstract machine. TCS, 96:217\u2013248, 1992.","journal-title":"TCS"},{"key":"37_CR4","first-page":"92","volume":"803","author":"G. Boudol","year":"1994","unstructured":"G. Boudol. Some chemical abstract machines. In A Decade of Concurrency, LNCS vol. 803: 92\u2013123. Springer, 1994.","journal-title":"A Decade of Concurrency, LNCS"},{"issue":"1\u20132","key":"37_CR5","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0304-3975(99)00330-8","volume":"258","author":"J. Engelfriet","year":"2001","unstructured":"J. Engelfriet and T. Gelsema. Structural inclusion in the pi-calculus with replication. TCS, 258(1\u20132):131\u2013168, 2001.","journal-title":"TCS"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the joincalculus. In Proceedings of PoPL\u201996, pages 372\u2013385. ACM, 1996.","DOI":"10.1145\/237721.237805"},{"key":"37_CR7","unstructured":"J. F. Groote and J. Springintveld. Focus points and convergent process operators. Logic Group Preprint Series 142, Department of Philosophy, Utrecht University, 1995."},{"issue":"1","key":"37_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. Conditional rewriting logic as a unified model of concurrency. TCS, 96(1):73\u2013155, 1992.","journal-title":"TCS"},{"key":"37_CR9","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner. Calculi for synchrony and asynchrony. TCS, 25:267\u2013310, 1983.","journal-title":"TCS"},{"key":"37_CR10","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall International, 1989."},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"R. Milner. Functions as processes. In Proceedings of ICALP\u201990, LNCS vol. 443: 167\u2013180. Springer-Verlag, 1990.","DOI":"10.1007\/BFb0032030"},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"R. Milner. The polyadic \u03c0-calculas A tutorial. In W. Brauer, F.L. Bauer, and H. Schwichtenberg, eds, Logic and Algebra of Specification. Springer, 1993.","DOI":"10.1007\/978-3-642-58041-3_6"},{"key":"37_CR13","doi-asserted-by":"crossref","unstructured":"R. De Nicola and M. Hennessy. CCS without \u03c4\u2032s. In Proceedings of TAPSOFT\u201987, LNCS vol. 249: 138\u2013152. Springer, 1987.","DOI":"10.1007\/3-540-17660-8_53"},{"key":"37_CR14","doi-asserted-by":"crossref","unstructured":"T. Noll. On coherence properties in term rewriting models of concurrency. In Proceedings of CONCUR\u201999, LNCS vol 1664: 478\u2013493, Springer, 1999.","DOI":"10.1007\/3-540-48320-9_33"},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"U. Nestmann and B. C. Pierce. Decoding choice encodings. In Proceedings of CONCUR\u201996, LNCS vol. 1119: 179\u2013194. Springer, 1996.","DOI":"10.1007\/3-540-61604-7_55"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"C Palamidessi. Comparing the expressive power of the synchronous and the asynchronous pi-calculus. In Proceedings of PoPL\u201997, pages 256\u2013265. ACM, 1997.","DOI":"10.1145\/263699.263731"},{"key":"37_CR17","doi-asserted-by":"crossref","unstructured":"A. Verdejo and N. Mart\u00ed-Oliet. Implementing CCS in Maude. In Proceedings of FORTE 2000, pages 351\u2013366, Kluwer, 2000.","DOI":"10.1007\/978-0-387-35533-7_22"},{"key":"37_CR18","unstructured":"P. Viry. Rewriting modulo a rewrite system. Technical Report TR-95-20, Dipartimento di Informatica, Univ. Pisa, Dec1995."}],"container-title":["IFIP International Federation for Information Processing","Exploring New Frontiers of Theoretical Informatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8141-3_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T20:28:19Z","timestamp":1619555299000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8141-3_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["1402081405"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8141-3_37","relation":{},"subject":[]}}