1. Observation equivalence as a testing equivalence;Abramsky;Theoret. Comput. Sci.,1987
2. Ready trace semantics for concrete process algebra with priority operator;Baeten,1985
3. Process algebra for synchronous communication;Bergstra;Inform. and Control,1984
4. Admissible Sets and Structures;Barwise,1975
5. A theory of communicating sequential processes;Brookes;J. ACM,1984