Creator |
|
|
|
Language |
|
Publisher |
|
|
Date |
|
Source Title |
|
Vol |
|
First Page |
|
Last Page |
|
Publication Type |
|
Access Rights |
|
Crossref DOI |
|
Related DOI |
|
|
Related URI |
|
|
Relation |
|
|
Abstract |
This paper studies basic properties of multirelations, and then shows that classes of multirelations provides models of three weaker variants of Kleene algebras, namely, lazy, monodic tree, and probab...ilistic Kleene algebras. Also it is shown that these classes of up-closed multirelations need not be models of Kozen's Kleene algebras unlike the case of ordinary binary relations.show more
|