@incollection{Jaskolka2014aa,
	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). C2KA supports the ability to work in either a state-based or event-based model for the specification of concurrent and communicating systems by extending concurrent Kleene algebra with the notion of communication actions. This extension captures both the influence of external stimuli on agent behaviour as well as the communication and concurrency of communicating agents.},
	Address = {Marienstatt im Westerwald, Germany},
	Author = {Jason Jaskolka and Ridha Khedri and Qinglei Zhang},
	Booktitle = {Proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science},
	Editor = {Peter H\"{o}fner and Peter Jipsen and Wolfram Kahl and Martin E. M\"{u}ller},
	Month = {April},
	Pages = {19-36},
	Publisher = {Springer International Publishing Switzerland},
	Series = {Lecture Notes in Computer Science},
	Title = {Endowing Concurrent {Kleene} Algebra with Communication Actions},
	Volume = {8428},
	Year = {2014}
}