Testing Equivalences for Processes," Report CSR-123-82, Univ. of Edinburgh. ALGEBRA (1982)

by M HENNESSY, R DE NICOLA
Venue:CCS, in "Proc. 9th Mathematical Foundations of Computer Science" (P. Dembiflski, Ed.), Lecture Notes in Computer Science No. 88