Traces, histories, graphs: Instances of a process monoid
- 21 June 2005
- book chapter
- Published by Springer Nature
- p. 115-133
- https://doi.org/10.1007/bfb0030293
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A Study of the Projection OperationPublished by Springer Nature ,1982
- PetrinetzePublished by Springer Nature ,1982
- Processes in Petri netsLecture Notes in Computer Science, 1981
- Elements of general net theoryPublished by Springer Nature ,1980
- Time, clocks, and the ordering of events in a distributed systemCommunications of the ACM, 1978
- Concurrent Program Schemes and their InterpretationsDAIMI Report Series, 1977