{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:53:53Z","timestamp":1725767633810},"publisher-location":"Boston, MA","reference-count":22,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781475752755"},{"type":"electronic","value":"9780387356082"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/978-0-387-35608-2_49","type":"book-chapter","created":{"date-parts":[[2013,12,29]],"date-time":"2013-12-29T16:57:25Z","timestamp":1388336245000},"page":"601-612","source":"Crossref","is-referenced-by-count":1,"title":["Responsive Bisimulation"],"prefix":"10.1007","author":[{"given":"Xiaogang","family":"Zhang","sequence":"first","affiliation":[]},{"given":"John","family":"Potter","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"49_CR1","volume-title":"Proc. of OOPSLA","author":"M Aksit","year":"1992","unstructured":"Mehmet Aksit and Lodewijk Bergmans. (1992). \u201cObstacles in Object-oriented Software Development\u201d, Proc. of OOPSLA\u201992, ACM SIGPLAN Notices vol. 27, pages 341\u2013358, New York."},{"key":"49_CR2","volume-title":"Proc. of CONCUR96","author":"RM Amadio","year":"1996","unstructured":"Roberto M. Amadio, Ilaria Castellani and Davide Sangiorgi. (1996). \u201cOn Bisimulations for the Asynchronous 7r-calculus\u201d, in Proc. of CONCUR\u201996, LNCS vol. 1119, Springer Verlag."},{"key":"49_CR3","first-page":"7","volume-title":"Proc. of TOOLS","author":"D Holmes","year":"1997","unstructured":"David Holmes, James Noble, John Potter. (1997). \u201cAspects of Synchronisation\u201d, in Christine Mingins, Roger Duke and Bertrand Meyer, editors, Proc. of TOOLS 25 (TOOLS Pacific\u201997), pages 7\u201318, Melbourne, Australia."},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"H\u00fctte196] Hans Witte\u2019 and Josva Kleist. (1996). \u201cObjects as mobile processes\u201d,Aalborg University.","DOI":"10.7146\/brics.v3i38.20020"},{"key":"49_CR5","volume-title":"Proc. of CONCUR93","author":"CB Jones","year":"1993","unstructured":"Cliff B. Jones. (1993). \u201cA 7r-calculus Semantics for an Object-based Design mNotation\u201d, in E. Best, editor, Proc. of CONCUR\u201993, LNCS vol. 715, pages 158172. Springer Verlag."},{"key":"49_CR6","unstructured":"Ciaran McHale. (1994). \u201cSynchronisation in Concurrent, Object-oriented Languages: Expressive Power, Genericity and Inheritance\u201d, PhD. Thesis, Department of Computer Science, Trinity college, University of Dublin, Ireland."},{"key":"49_CR7","unstructured":"Massimo Merro, Josva Kleist and Uwe Nestmann. (2000). \u201cLocal 7r-Calculus at Work: Mobile Object as Mobile Processes\u201d, In Proc. of IFIP TCS2000,Sendai, Japan. LNCS vol. 1872, pages 390\u2013408, Springe."},{"key":"49_CR8","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, D. Walker. (1992). \u201cA Calculus of Mobile Process\u201d (Parts I and II), Journal of Information and Computation, 100:1\u201377.","journal-title":"Journal of Information and Computation"},{"key":"49_CR9","volume-title":"Proceeding of 19th ICALP","author":"R Milner","year":"1992","unstructured":"Robin Milner and Davide Sangiorgi. (1992). \u201cBarbed Bisimulation\u201d, in W. Kuich, editor, Proceeding of 19th ICALP, LNCS vol. 623, Springer Verlag."},{"key":"49_CR10","unstructured":"Robin Milner. (1999). \u201cCommunicating and Mobile Systems: the 7r-calculus\u201d, Cambridge University Press."},{"key":"49_CR11","volume-title":"Proc. of OOPSLA","author":"J Noble","year":"2000","unstructured":"James Noble and John Potter. (2000). \u201cExclusion for Composite Objects\u201d, In Proc. of OOPSLA\n                    2000, Minneapolis, Minnesota USA, ACM press."},{"key":"49_CR12","volume-title":"Proc. of FSTamp TCS95","author":"M Odersky","year":"1995","unstructured":"Martin Odersky. (1995). \u201cPolarized Name Passing\u201d, in Proc. of FSTamp TCS\u201995, Bangalore, India."},{"key":"49_CR13","doi-asserted-by":"crossref","unstructured":"Antonio Ravara and Vasco T. Vasconcelos. (1997). Behavioural types for a calculus of concurrent objects. In C. Lengauer, M. Griebl, and S. Gorlatch, editors, Proc. of Euro-Par\u201997,LNCS 1300, pages 554\u2013561. Springer-Verlag.","DOI":"10.1007\/BFb0002782"},{"key":"49_CR14","volume-title":"Expressing Mobility in Process Algebras: First-Order and Higher-Order paradigms","author":"D Sangiorgi","year":"1992","unstructured":"Davide Sangiorgi. (1992). \u201cExpressing Mobility in Process Algebras: First-Order and Higher-Order paradigms\u201d, PhD thesis, Computer Science Department, University of Edinburgh, UK."},{"key":"49_CR15","unstructured":"Davide Sangiorgi. (1996). \u201cAn Interpretation of Typed Objects into Typed \u03c0-calculus\u201d,INRIA Technical Report RR-3000."},{"key":"49_CR16","unstructured":"Jean-guy Schneider and Markus Lumpe. (1997). \u201cSynchronizing Concurrent Objects in the Pi-Calculus\u201d, Proceedings of Langages et Mod\u00e8les \u00e0 Objets \u201887, Roland Ducournau and Serge Garlatti (Ed.), pp. 61\u201376, Hermes, Roscoff."},{"issue":"2","key":"49_CR17","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1006\/inco.1995.1018","volume":"116","author":"D Walker","year":"1995","unstructured":"David Walker. (1995). \u201cObjects in then-Calculus\u201d, Information and Computation, 116 (2): 253\u2013271.","journal-title":"Information and Computation"},{"key":"49_CR18","unstructured":"Xiaogang Zhang and John Potter. (1998). \u201cClass-based models in it-calculus\u201d, in Christine Mingins, Roger Duke and Bertrand Meyer, editors, Proc. of TOOLS 25 (TOOLS Pacific\u201997), Melbourne, Australia, 24th-27th November 1997, pages 238\u2013251, IEEE Computing Society Press."},{"key":"49_CR19","volume-title":"Compositional Concurrency Constraints for Object Models in \u03c0-calculus","author":"X Zhang","year":"1998","unstructured":"Xiaogang Zhang and John Potter. (1998). \u201cCompositional Concurrency Constraints for Object Models in \u03c0-calculus\u201d, Technical Report C\/TR-9804, , Sydney, Australia."},{"key":"49_CR20","unstructured":"Xiaogang Zhang and John Potter. (1998). \u201cA Composition Approach to Concurrent Objects\u201d, in Jian Chen, Mingshu Li, Christine Mingins and Bertrand Meyer, editors, Proc. of TOOLS 27 (TOOLS Asia\u201998), Beijing, China, 22nd-25th September 1998, pages 116\u2013126, IEEE Computing Society Press."},{"key":"49_CR21","unstructured":"Xiaogang Zhang and John Potter. (20012). \u201cA Constraint Description Calculus for Compositional Concurrent Objects\u201d,Technical report UNSW-CSE-TR-0204."},{"key":"49_CR22","unstructured":"Xiaogang Zhang and John Potter. (2002). \u201cThe Responsive Bisimulations in the polar \u03c0-calculus\u201d,Technical report UNSW-CSE-TR-0203."}],"container-title":["Foundations of Information Technology in the Era of Network and Mobile Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-35608-2_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T20:48:31Z","timestamp":1557780511000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-35608-2_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9781475752755","9780387356082"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-35608-2_49","relation":{},"subject":[],"published":{"date-parts":[[2002]]}}}