Generating diagnostic information for behavioral preorders-Reference-Cited by-同舟云学术

Generating diagnostic information for behavioral preorders

Published:1995-10 Issue:2 Volume:9 Page:61-75
ISSN:0178-2770
Container-title:Distributed Computing
language:en
Short-container-title:Distrib Comput

Author:

Celikkan Ufuk,Cleaveland Rance

Publisher

Springer Science and Business Media LLC

Subject

Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s004460050010.pdf

Reference28 articles.

1. Fifth Annual Symposium on Logic in Computer Science (LICS’90), Philadelphia, June 1990. IEEE Computer Society Press

2. Abramsky S: Observation equivalence as a testing equivalence. Theor Comput Sci 53: 225–241 (1987)

3. Lect Notes Comput Sci;RJR Back,1989

4. Lect Notes Comput Sci;RJR Back,1989

5. Baeten JCM, Weijland WP: Process algebra. Cambridge Tracts in Theoretical Computer Science, vol 18. Cambridge University Press, Cambridge, England, 1990

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

1. Quasilinear-time Computation of Generic Modal Witnesses for Behavioural Inequivalence;Logical Methods in Computer Science;2022-11-17

2. Modal logic and the approximation induction principle;Mathematical Structures in Computer Science;2012-02-28

3. Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics;Formal Methods in System Design;2005-05

4. Generic tools for verifying concurrent systems;Science of Computer Programming;2002-01

5. Simulation Revisited;Tools and Algorithms for the Construction and Analysis of Systems;2001