A Complete Axiomatisation for Observational Congruence of Finite-State Behaviours

Information and Computation - United States
doi 10.1016/0890-5401(89)90070-9