1. L. Aceto: Action Refinement in Process Algebras, PhD-Thesis, University of Sussex, 1990, Report No. 3/91, University of Sussex, Computer Science, February 1991
2. L. Aceto, M. Hennessy: Adding Action Refinement to a Finite Process Algebra, Report No. 6/90, University of Sussex, Computer Science, November 1990, extended abstract in: Proc. ICALP 91, LNCS 510, Springer-Verlag, pp 506–519, 1991
3. E. Best, R. Devillers, A. Kiehn, L. Pomello: Concurrent Bisimulation in Petri Nets, Acta Informatica, Vol. 28, pp 231–264, 1991
4. G. Boudol: Flow Event Structures and Flow Nets, in I. Guessarian (ed.): Semantics of Systems of Concurrent Processes, LNCS 469, Springer-Verlag, pp 62–95, 1990
5. G. Boudol, I. Castellani: Permutation of Transitions: An Event Structure Semantics for CCS and SCCS, in J.W. de Bakker, W.-P. de Roever & G. Rozenberg (eds.): Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS 354, Springer-Verlag, pp 411–427, 1989