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

Susanne Graf, Joseph Sifakis

Browse the full ICALP paper archive.