Communication is integral to the understanding of agent interactions in concurrent systems. In this paper,we propose a mathematical framework for communication and concurrency called Communicating Concurrent Kleene Algebra (C2KA). C2KAextends concurrent Kleene algebra with the notion of communication actions. This extension captures both the influence of external stimuli on agent behaviour aswell as the communication and concurrency of communicating agents. © 2014 Springer International Publishing.
CITATION STYLE
Jaskolka, J., Khedri, R., & Zhang, Q. (2014). Endowing Concurrent Kleene Algebra with communication actions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8428 LNCS, pp. 19–36). Springer Verlag. https://doi.org/10.1007/978-3-319-06251-8_2
Mendeley helps you to discover research relevant for your work.