<journal article>
MULTIRELATIONAL MODELS OF LAZY, MONODIC TREE, AND PROBABILISTIC KLEENE ALGEBRAS

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

Hide fulltext details.

pdf p011 pdf 118 KB 524  

Details

PISSN
NCID
Record ID
Peer-Reviewed
Subject Terms
Type
Created Date 2012.03.14
Modified Date 2023.12.12

People who viewed this item also viewed