Part of the Lecture Notes in Computer Science book series (LNCS, volume 802)
A complete axiomatisation for trace congruence of finite state behaviors
KeywordsInference Rule Regular Expression Proof System Deterministic System Successor Action
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- M. Hennesy and R. Milner. Algebraic laws for nondeterminism and concurrency. In J. Assoc. Comp. Mach., volume 32, pp. 137–161, 1985.Google Scholar
- R. Milner. A complete proof system for a class of regular behaviors. In JCSS, volume 28, pp. 439–466, 1984.Google Scholar
- R. Milner. A complete axiomatisation for observational Congruence of finite state behaviors. In Information and Computation, volume 81, pp. 227–247, 1989.Google Scholar
- A. Salomaa. Two complete axiom systems for the algebra of regular events. In J. Assoc. Comp. Mach., volume 13(1) pp. 158–169, 1965.Google Scholar
© Springer-Verlag Berlin Heidelberg 1994