TY  - JOUR
A1  - Möller, Bernhard
A1  - Hoare, Tony
T1  - Exploring an interface model for CKA
T2  - Lecture Notes in Computer Science
N2  - Concurrent Kleene Algebras (CKAs) serve to describe general concurrent systems in a unified way at an abstract algebraic level. Recently, a graph-based model for CKA has been defined in which the incoming and outgoing edges of a graph define its input/output interface. The present paper provides a simplification and a significant extension of the original model to cover notions of states, predicates and assertions in the vein of algebraic treatments using modal semirings. Moreover, it uses the extension to set up a variant of the temporal logic CTL* for the interface model.
Y1  - 2015
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58741
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-587413
SN  - 9783319197968
SN  - 9783319197975
SN  - 0302-9743
SN  - 1611-3349
VL  - 9129
SP  - 1
EP  - 29
PB  - Springer International
CY  - Cham
ER  -