"A Modal Characterization of Observational Congruence on Finite Terms of CCS."

Susanne Graf, Joseph Sifakis (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics