Exploring an Interface Model for CKA
Exploring an Interface Model for CKA
复制标题
DOI：
10.1007/978-3-319-19797-5_1
复制
发表时间：
2015-06
期刊：
影响因子：
--
通讯作者：
B. Möller;Tony Hoare
中科院分区：
文献类型：
--
作者：
B. Möller;Tony Hoare
并发Kleene代数（CKA）是在抽象代数层次上统一描述一般并发系统的代数。最近，已经定义了一个基于图的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 logicfor the interface model.