The linear time — Branching time spectrum II-Reference-Cited by-同舟云学术

The linear time — Branching time spectrum II

Published:1993 Issue: Volume: Page:66-81
ISSN:0302-9743
Container-title:CONCUR'93
language:
Short-container-title:

Author:

van Glabbeek R. J.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57208-2_6

Reference25 articles.

1. J.C.M. Baeten (1986): Procesalgebra. Programmatuurkunde. Kluwer, Deventer. In Dutch.

2. J.C.M. Baeten, J.A. Bergstra & J.W. Klop (1987): On the consistency of Koomen's fair abstraction rule. Theoretical Computer Science 51(1/2), pp. 129–176.

3. Lecture Notes in Computer Science 267;J. C. M. M. Baeten,1987

4. J. van Benthem, J. van Eijck & V. Stebletsova (1993): Modal logic, transition systems and processes. Report CS-R9321, CWI, Amsterdam.

5. J.A. Bergstra, J.W. Klop & E.-R. Olderog (1987): Failures without chaos: a new process semantics for fair abstraction. In M. Wirsing, editor: Formal Description of Programming Concepts — III, Proceedings of the 3thIFIP WG 2.2 working conference, Ebberup 1986, North-Holland, Amsterdam, pp. 77–103.

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

1. gLTSdiff: A Generalized Framework for Structural Comparison of Software Behavior;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

2. Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract);Electronic Proceedings in Theoretical Computer Science;2023-09-14

3. Investigating Trace Equivalences in Information Networks;Electronics;2023-02-08

4. Analyzing Divergence for Nondeterministic Probabilistic Models;2023

5. Process Equivalence Problems as Energy Games;Computer Aided Verification;2023