1. Termination, deadlock and divergence;Aceto;J. ACM,1992
2. Process Algebra;Baeten,1990
3. A model for communicating sequential processes;Brookes,1983
4. A theory of communicating sequential processes;Brookes;J. ACM,1985
5. An improved failures model for communicating sequential processes;Brookes,1985