A complete axiomatisation for observational congruence of finite-state behaviours
- 1 May 1989
- journal article
- Published by Elsevier in Information and Computation
- Vol. 81 (2), 227-247
- https://doi.org/10.1016/0890-5401(89)90070-9
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- On the consistency of Koomen's Fair Abstraction RuleTheoretical Computer Science, 1987
- Acceptance treesJournal of the ACM, 1985
- Algebraic laws for nondeterminism and concurrencyJournal of the ACM, 1985
- A complete inference system for a class of regular behavioursJournal of Computer and System Sciences, 1984
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Formal verification of parallel programsCommunications of the ACM, 1976