Equivalences and refinement

Authors:
Rob J. van Glabbeek;Ursula Goltz
Affiliations:
-;-
Venue:
Proceedings of the LITP spring school on theoretical computer science on Semantics of systems of concurrent processes
Year:
1990

Citing 0
Cited 4

A trace transformation technique for communication refinement

Proceedings of the ninth international symposium on Hardware/software codesign
Vertical implementation

Information and Computation
Tree-functors, determinacy and bisimulations

Mathematical Structures in Computer Science
Message choreography modeling

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract