@techreport{Jaskolka2013aa,
	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. We also illustrate the different levels of abstraction for the behaviour of agents that are offered by the proposed framework with the specification of a simple illustrative example.},
	Address = {Hamilton, ON, Canada},
	Author = {Jason Jaskolka and Ridha Khedri and Khair Eddin Sabri},
	Institution = {McMaster University},
	Month = {November},
	Number = {CAS-13-07-RK},
	Title = {Foundations of Communicating Concurrent Kleene Algebra},
	Note = {Available: http://www.cas.mcmaster.ca/cas/0reports/CAS-13-07-RK.pdf},
	Year = {2013}
}