Susanne Graf, Joseph Sifakis. A Modal Characterization of Observational Congruence on Finite Terms of CCS. In Jan Paredaens, editor, Automata, Languages and Programming, 11th Colloquium, Antwerp, Belgium, July 16-20, 1984, Proceedings. Volume 172 of Lecture Notes in Computer Science, pages 222-234, Springer, 1984.
Abstract is missing.