An introduction to the Maco COSY notation

Authors:
P. E. Lauer;R. Janicki
Affiliations:
-;-
Venue:
Concurrency and nets: advances in Petri nets
Year:
1987

Citing 0
Cited 3

Complete sequential specification allows for concurrent execution

CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
How to relieve a programmer from synchronization details

CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Peter Lauer and COSY

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract