Exploring an interface model for CKA

  • 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.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Bernhard MöllerGND, Tony Hoare
URN:urn:nbn:de:bvb:384-opus4-587413
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/58741
ISBN:9783319197968OPAC
ISBN:9783319197975OPAC
ISSN:0302-9743OPAC
ISSN:1611-3349OPAC
Parent Title (English):Lecture Notes in Computer Science
Publisher:Springer International
Place of publication:Cham
Type:Article
Language:English
Year of first Publication:2015
Publishing Institution:Universität Augsburg
Release Date:2019/07/23
Volume:9129
First Page:1
Last Page:29
DOI:https://doi.org/10.1007/978-3-319-19797-5_1
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht