1. Theory of traces;Aalbersberg;Theoret. Comput. Sci.,1988
2. Concurrent Programming Fundamental Techniques for Real Time and Parallel Software Design;Axford,1989
3. Process Algebra;Baeten,1990
4. Process algebra for synchronous communication;Bergstra;Inform. Control,1984
5. Universal Algebra;Cohn,1980