1. Proposition de sémantique dénotationnelle pour des réseaux de processus avec opérateur de mélange équitable;BOUSSINOT;Theoretical Computer Science,1982
2. KAHN, G. The semantics of a simple language for parallel processes, Proc. IFIP Congress (1974) North Holland, Amsterdam.
3. MARTIN, R., G. MEMMI, Specification and validation by communicating sequential processes described by filed Petri nets, Fourth International Conference on “Software Engineering for Telecommunication Switching Systems”, University of Warwick (July 1981).
4. NOLIN, L., G. RUGGIU, A formalization of EXEL, ACM SIGACT-SIGPLAN Symposium on the Principles of Programming Languages, Boston, (1973).