A Complete Axiomatisation for Observational Congruence of Finite-State Behaviours
Information and Computation - United States
doi 10.1016/0890-5401(89)90070-9
Full Text
Open PDFAbstract
Available in full text
Categories
Date
May 1, 1989
Authors
Publisher
Elsevier BV