A modal characterization of observational congruence on finite terms of CCS (1986)

by S Graf, J Sifakis
Venue:Information and Control