1. C. Bernardeschi, N. De Francesco, G. Vaglini: Non-sequential processes for FIFO-nets. Internal Report IR-14/93, Dipartimento di Ingegneria dell'Informazione, Università di Pisa, Italy
2. J. Brock, W. Ackerman: Scenarios: A Model of Non-determinate Computation. InFormalization of Programming Concepts, LNCS 107, pp. 252–259, 1981
3. N. De Francesco, U. Montanari, G. Ristori: Modelling Serializability via Process Equivalence in Petri Nets. HP-TR. HPL-92-89, July 1992
4. P. Degano, J. Meseguer, U. Montanari: Axiomatizing net computations and processes. InProc. 4-th Annual Symposium on Logic in Computer Science, Asilomar, California, pp. 175–185, 1989
5. H. Gaifman, V. Pratt: Partial Order Models of Concurrency and the Computation of Functions. In Symposium onLogic in Computer Science, Ithaca, New York, pp. 72–85, June 1987