Contractions in comparing concurrency semantics

Authors:
Joost N. Kok;Jan J. M. Rutten
Affiliations:
Centre for Mathematics and Computer Science, Amsterdam, The Netherlands;Centre for Mathematics and Computer Science, Amsterdam, The Netherlands
Venue:
Theoretical Computer Science
Year:
1990

Citing 0
Cited 3

Bisimulation indexes and their applications

Theoretical Computer Science
Approximate Bisimilarity

AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Bisimulation Semantics For Concurrency With Atomicity And Action Refinement

Fundamenta Informaticae

Quantified Score

Hi-index	5.23

Visualization

Abstract