On the implementation of concurrent calculi in net calculi: two case studies
- 17 April 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 141 (1-2) , 195-252
- https://doi.org/10.1016/0304-3975(94)00073-r
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- On representing CCS programs by finite petri netsPublished by Springer Nature ,2005
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- An algebraic view of interleaving and distributed operational semantics for CCSPublished by Springer Nature ,2005
- Programming by multiset transformationCommunications of the ACM, 1993
- Permutation of transitions: An event structure semantics for CCS and SCCSPublished by Springer Nature ,1989
- Partial ordering derivations for CCSPublished by Springer Nature ,1985
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Event structure semantics for CCS and related languagesPublished by Springer Nature ,1982
- Formal verification of parallel programsCommunications of the ACM, 1976
- CATEGORIES FOR THE WORKING MATHEMATICIANBulletin of the London Mathematical Society, 1974