Concurrent and maximally concurrent evolution of nonsequential systems
Theoretical Computer Science
The Merlin-Randell problem of train journeys
Acta Informatica
An introduction to the Maco COSY notation
Concurrency and nets: advances in Petri nets
Adequacy-preserving transformations of COSY path programs
Theoretical Computer Science
Specification and Analysis of Concurrent Systems: The COSY Approach
Specification and Analysis of Concurrent Systems: The COSY Approach
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Proceedings of the Fourth 'Colloque International sur la Programmation' on International Symposium on Programming
A Method for Developing Concurrent Systems
Proceedings of the 6th Colloquium on International Symposium on Programming
COSY: Its Relation to Nets and CSP
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
The Analysis of Concurrent Systems
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Fundamenta Informaticae
| Hi-index | 0.00 |