Readiness semantics for regular processes with silent actions

Authors:
S. Graf;J. Sifakis
Affiliations:
-;-
Venue:
14th International Colloquium on Automata, languages and programming
Year:
1987

Citing 0
Cited 2

Bisimulation can't be traced

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Branching time and abstraction in bisimulation semantics

Journal of the ACM (JACM)

Quantified Score

Hi-index	0.00

Visualization

Abstract