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.
@article{GrafS86a, title = {A Modal Characterization of Observational Congruence on Finite Terms of CCS}, author = {Susanne Graf and Joseph Sifakis}, year = {1986}, month = {January/February/March}, researchr = {https://researchr.org/publication/GrafS86a}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {68}, number = {1-3}, pages = {125-145}, }