Susanne Graf, Joseph Sifakis. A Modal Characterization of Observational Congruence on Finite Terms of CCS. Inf. Comput., 68(1-3):125-145, January/February/March 1986.
No references recorded for this publication.
No citations of this publication recorded.