Bisimulation can't be traced-Reference-Cited by-同舟云学术

Bisimulation can't be traced

Published:1995-01-03 Issue:1 Volume:42 Page:232-268
ISSN:0004-5411
Container-title:Journal of the ACM
language:en
Short-container-title:J. ACM

Author:

Bloom Bard¹,Istrail Sorin²,Meyer Albert R.³

Affiliation:

1. Cornell Univ., Ithaca, NY

2. Sandia National Labs., Albuquerque, NM

3. Massachusetts Institute of Technology, Cambridge, MA

Abstract

In the concurrent language CCS, two programs are considered the same if they are bisimilar . Several years and many researchers have demonstrated that the theory of bisimulation is mathematically appealing and useful in practice. However, bisimulation makes too many distinctions between programs. We consider the problem of adding operations to CCS to make bisimulation fully abstract. We define the class of GSOS operations, generalizing the style and technical advantages of CCS operations. We characterize GSOS congruence in as a bisimulation-like relation called ready-simulation . Bisimulation is strictly finer than ready simulation, and hence not a congruence for any GSOS language.

Publisher

Association for Computing Machinery (ACM)

Subject

Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software

Link

https://dl.acm.org/doi/pdf/10.1145/200836.200876

Reference41 articles.

1. Observation equivalence as a testing equivalence

2. ~ABRAMSKY S. 1989. Tutorial on concurrency. Slides of an invited lecture given at the 16th ~Annual ACM Symposium on Principles of Programming Languages (Austin Tex. Jan. 11-13). ~ABRAMSKY S. 1989. Tutorial on concurrency. Slides of an invited lecture given at the 16th ~Annual ACM Symposium on Principles of Programming Languages (Austin Tex. Jan. 11-13).

3. A domain equation for bisimulation

4. ~ABRAMSKY S. AND VICKERS S. 1989. Observational logic and process semantics. In prepara- ~tion. ~ABRAMSKY S. AND VICKERS S. 1989. Observational logic and process semantics. In prepara- ~tion.

5. Atg~bre de processus et synchronisation;~AUSTRY D.;Theoret. Comput. ~Sci.,1984

Cited by 258 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Back to the format: A survey on SOS for probabilistic processes;Journal of Logical and Algebraic Methods in Programming;2024-02

2. The Way We Were: Structural Operational Semantics Research in Perspective;Electronic Proceedings in Theoretical Computer Science;2023-09-14

3. Weak Similarity in Higher-Order Mathematical Operational Semantics;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

4. A Declarative Validator for GSOS Languages;Electronic Proceedings in Theoretical Computer Science;2023-04-13

5. Compositional equivalences based on open pNets;Journal of Logical and Algebraic Methods in Programming;2023-02