1. Arnold, A., and Nivat, M., Comportements de processus. Colloque AFCET « Les Mathématiques de l'Informatique », (1982) 35–68.
2. Badouel, E., and Darondeau, Ph., Structural Operational Specifications and Trace Automata, INRIA research report no 1631 (1992).
3. Bednarczyk, M.A., Categories of asynchronous systems. PhD thesis, University of Sussex, report no.1/88 (1988).
4. Boudol, G., and Castellani, I., A non-interleaving semantics for CCS based on proved transitions. Fundamenta Informaticae XI (1988) 433–452.
5. Boudol, G., and Castellani, I., Three Equivalent Semantics for CCS. Semantics of Systems of Concurrent Processes, I. Guessarian (Ed.) LNCS 469 (1990) 96–141.