Bisimulations for Asynchronous Mobile Processes
AbstractWithin the past few years there has been renewed interest in the
study of value-passing process calculi as a consequence of the emergence of the pi-calculus. Here, [MPW89] have determined two variants of the notion of bisimulation, late and early bisimilarity. Most recently [San93] has proposed the new notion of open bisimulation equivalence.
In this paper we consider Plain LAL, a mobile process calculus which differs from the pi-calculus in the sense that the communication of data values happens asynchronously. The surprising result is that in the presence of asynchrony, the open, late and early bisimulation equivalences coincide - this in contrast to the pi-calculus where they are distinct. The result allows us to formulate a common equational theory which is sound and complete for finite terms of Plain LAL.
How to Cite
Hansen, M., Hüttel, H., & Kleist, J. (1996). Bisimulations for Asynchronous Mobile Processes. BRICS Report Series, 3(8). https://doi.org/10.7146/brics.v3i8.19971
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.