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
Postprint
Statistics
Additional Services
| Author: | Bernhard MöllerGND, Tony Hoare |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus4-587413 |
| Frontdoor URL | https://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 |
