TY  - CHAP
PB  - Springer
T2  - Mathematical Foundations of Computer Science 1994
SN  - 3-540-58338-6
ED  - Privara, Igor
ED  - Rovan, Branislav
ED  - Ruzicka, Peter
N2  - A generalization of Kleene Algebras (structures with +·*, 0 and 1 operators) is considered to take into account possible nondeterminism expressed by the + operator. It is shown that essentially the same complete axiomatization of Salomaa is obtained except for the elimination of the distribution P·(Q + R) = P·Q + P·R and the idempotence law P + P = P. The main result is that an algebra obtained from a suitable category of labelled trees plays the same role as the algebra of regular events. The algebraic semantics and the axiomatization are then extended by adding OHgr and par operator, and the whole set of laws is used as a touchstone for starting a discussion over the laws for deadlock, termination and divergence proposed for models of concurrent systems.
ID  - eprints369
EP  - 545
M1  - 841
A1  - De Nicola, Rocco
A1  - Labella, Anna
UR  - http://dx.doi.org/10.1007/3-540-58338-6_100
Y1  - 1994///
AV  - none
TI  - A Completeness Theorem for Nondeterministic Kleene Algebras
SP  - 536
T3  - Lecture Notes in Computer Science
ER  -