Conference
Endowing Concurrent Kleene Algebra with Communication Actions
Abstract
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 …
Authors
Jaskolka J; Khedri R; Zhang Q
Series
Lecture Notes in Computer Science
Volume
8428
Pagination
pp. 19-36
Publisher
Springer Nature
Publication Date
2014
DOI
10.1007/978-3-319-06251-8_2
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743