首页    期刊浏览 2024年11月09日 星期六
登录注册

文章基本信息

  • 标题:Bisimulations for Asynchronous Mobile Processes
  • 本地全文:下载
  • 作者:Martin Hansen ; Hans Hüttel ; Josva Kleist
  • 期刊名称:BRICS Report Series
  • 印刷版ISSN:0909-0878
  • 出版年度:1996
  • 卷号:3
  • 期号:8
  • 出版社:Aarhus University
  • 摘要:Within 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.
国家哲学社会科学文献中心版权所有