A modal characterization of observational congruence on finite terms of CCS

Publisher Website

1 January 1986

journal article
Published by Elsevier in Information and Control

Vol. 68 (1-3), 125-145
https://doi.org/10.1016/s0019-9958(86)80031-6

Abstract

No abstract available

Keywords

SATISFIABILITY

Cited by 44 articles