A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
- 1 January 2000
- book chapter
- Published by Springer Nature
- p. 744-755
- https://doi.org/10.1007/3-540-45022-x_62
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Priority and maximal progress are completely axiomatisable (extended abstract)Published by Springer Nature ,1998
- A process algebra with distributed prioritiesPublished by Springer Nature ,1996
- Priority and abstraction in process algebraPublished by Springer Nature ,1994
- On guarded recursionTheoretical Computer Science, 1991
- Priorities in process algebrasInformation and Computation, 1990
- A complete axiomatisation for observational congruence of finite-state behavioursInformation and Computation, 1989