1. Flow event structures and flow nets;Boudol,1990
2. Permutation of transitions: an event structure semantics for CCS and SCCS;Boudol,1988
3. On the consistency of “truly concurrent” operational and denotational semantics;Degano,1988
4. Modelling nondeterministic concurrent processes with event structures;Goltz;Fund. Inform.,1991
5. Petri nets, event structures and domains;Nielsen;Theoret. Comput. Sci.,1981