Abstract
This paper introduces the responsive bisimulation, which treats local delays of incoming messages the same as external delays, as long as potential interference by competing receptors is avoided. By this bisimulation, the π-calculus process k.m.P, representing a lock k with a message receptor m, is equivalent to the process (v n)(m.EquationSource% MathType!MTEF!2!1!+- % feaagCart1ev2aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn % hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr % 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9 % vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x % fr-xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmOBayaara % aaaa!36FF!]]</EquationSource><EquationSource Format="TEX"><
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Mehmet Aksit and Lodewijk Bergmans. (1992). “Obstacles in Object-oriented Software Development”, Proc. of OOPSLA’92, ACM SIGPLAN Notices vol. 27, pages 341–358, New York.
Roberto M. Amadio, Ilaria Castellani and Davide Sangiorgi. (1996). “On Bisimulations for the Asynchronous 7r-calculus”, in Proc. of CONCUR’96, LNCS vol. 1119, Springer Verlag.
David Holmes, James Noble, John Potter. (1997). “Aspects of Synchronisation”, in Christine Mingins, Roger Duke and Bertrand Meyer, editors, Proc. of TOOLS 25 (TOOLS Pacific’97), pages 7–18, Melbourne, Australia.
Hütte196] Hans Witte’ and Josva Kleist. (1996). “Objects as mobile processes”,Aalborg University.
Cliff B. Jones. (1993). “A 7r-calculus Semantics for an Object-based Design mNotation”, in E. Best, editor, Proc. of CONCUR’93, LNCS vol. 715, pages 158172. Springer Verlag.
Ciaran McHale. (1994). “Synchronisation in Concurrent, Object-oriented Languages: Expressive Power, Genericity and Inheritance”, PhD. Thesis, Department of Computer Science, Trinity college, University of Dublin, Ireland.
Massimo Merro, Josva Kleist and Uwe Nestmann. (2000). “Local 7r-Calculus at Work: Mobile Object as Mobile Processes”, In Proc. of IFIP TCS2000,Sendai, Japan. LNCS vol. 1872, pages 390–408, Springe.
R. Milner, J. Parrow, D. Walker. (1992). “A Calculus of Mobile Process” (Parts I and II), Journal of Information and Computation, 100:1–77.
Robin Milner and Davide Sangiorgi. (1992). “Barbed Bisimulation”, in W. Kuich, editor, Proceeding of 19th ICALP, LNCS vol. 623, Springer Verlag.
Robin Milner. (1999). “Communicating and Mobile Systems: the 7r-calculus”, Cambridge University Press.
James Noble and John Potter. (2000). “Exclusion for Composite Objects”, In Proc. of OOPSLA 2000, Minneapolis, Minnesota USA, ACM press.
Martin Odersky. (1995). “Polarized Name Passing”, in Proc. of FSTamp TCS’95, Bangalore, India.
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’97,LNCS 1300, pages 554–561. Springer-Verlag.
Davide Sangiorgi. (1992). “Expressing Mobility in Process Algebras: First-Order and Higher-Order paradigms”, PhD thesis, Computer Science Department, University of Edinburgh, UK.
Davide Sangiorgi. (1996). “An Interpretation of Typed Objects into Typed π-calculus”,INRIA Technical Report RR-3000.
Jean-guy Schneider and Markus Lumpe. (1997). “Synchronizing Concurrent Objects in the Pi-Calculus”, Proceedings of Langages et Modèles à Objets ‘87, Roland Ducournau and Serge Garlatti (Ed.), pp. 61–76, Hermes, Roscoff.
David Walker. (1995). “Objects in then-Calculus”, Information and Computation, 116 (2): 253–271.
Xiaogang Zhang and John Potter. (1998). “Class-based models in it-calculus”, in Christine Mingins, Roger Duke and Bertrand Meyer, editors, Proc. of TOOLS 25 (TOOLS Pacific’97), Melbourne, Australia, 24th-27th November 1997, pages 238–251, IEEE Computing Society Press.
Xiaogang Zhang and John Potter. (1998). “Compositional Concurrency Constraints for Object Models in π-calculus”, Technical Report C/TR-9804, , Sydney, Australia.
Xiaogang Zhang and John Potter. (1998). “A Composition Approach to Concurrent Objects”, in Jian Chen, Mingshu Li, Christine Mingins and Bertrand Meyer, editors, Proc. of TOOLS 27 (TOOLS Asia’98), Beijing, China, 22nd-25th September 1998, pages 116–126, IEEE Computing Society Press.
Xiaogang Zhang and John Potter. (20012). “A Constraint Description Calculus for Compositional Concurrent Objects”,Technical report UNSW-CSE-TR-0204.
Xiaogang Zhang and John Potter. (2002). “The Responsive Bisimulations in the polar π-calculus”,Technical report UNSW-CSE-TR-0203.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer Science+Business Media New York
About this chapter
Cite this chapter
Zhang, X., Potter, J. (2002). Responsive Bisimulation. In: Baeza-Yates, R., Montanari, U., Santoro, N. (eds) Foundations of Information Technology in the Era of Network and Mobile Computing. IFIP — The International Federation for Information Processing, vol 96. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35608-2_49
Download citation
DOI: https://doi.org/10.1007/978-0-387-35608-2_49
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5275-5
Online ISBN: 978-0-387-35608-2
eBook Packages: Springer Book Archive