Parallel product of event structures
- 1 June 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 179 (1-2) , 203-215
- https://doi.org/10.1016/s0304-3975(96)00104-1
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- On the consistency of 'truly concurrent' operational and denotational semanticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Flow event structures and flow netsLecture Notes in Computer Science, 1990
- Permutation of transitions: An event structure semantics for CCS and SCCSPublished by Springer Nature ,1989
- Event structuresPublished by Springer Nature ,1987
- Event structure semantics for CCS and related languagesPublished by Springer Nature ,1982
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981