Bisimulation and action refinement

Authors:
Walter Volger
Affiliations:
-
Venue:
STACS 91 Proceedings of the 8th annual symposium on Theoretical aspects of computer science
Year:
1991

Citing 0
Cited 4

Compositional refinement of interactive systems

Journal of the ACM (JACM)
The box algebra = Petri nets + process expressions

Information and Computation
Open Maps and Observational Equivalences for Timed Partial Order Models

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Open Maps and Observational Equivalences for Timed Partial Order Models

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)

Quantified Score

Hi-index	0.00

Visualization

Abstract