@techreport{Jaskolka2013aa,
	Address = {Hamilton, ON, Canada},
	Author = {J. Jaskolka and R. Khedri and Q. Zhang},
	Institution = {McMaster University},
	Month = {November},
	Number = {CAS-13-07-RK},
	Title = {Foundations of Communicating Concurrent {Kleene} Algebra},
	Year = {2013}}

@incollection{Jaskolka2014aa,
	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 = {P. H\"{o}fner and P. Jipsen and W. Kahl and M.E. M\"{u}ller},
	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}}

@incollection{Jaskolka2014ac,
	Address = {Verona, Italy},
	Author = {Jason Jaskolka and Ridha Khedri},
	Booktitle = {Proceedings of the 5th International Symposium on Games, Automata, Logics and Formal Verification},
	Editor = {Adriano Peron and Carla Piazza},
	Month = {September},
	Pages = {161--174},
	Publisher = {Open Publishing Association},
	Series = {Electronic Proceedings in Theoretical Computer Science},
	Title = {A Formulation of the Potential for Communication Condition using {C$^2$KA}},
	Volume = {161},
	Year = {2014}}

@phdthesis{Jaskolka2015ab,
	Address = {Hamilton, ON, Canada},
	Author = {Jason Jaskolka},
	Month = {March},
	School = {McMaster University},
	Title = {On the Modelling, Analysis, and Mitigation of Distributed Covert Channels},
	Year = {2015}}


@article{Hoare2011aa,
	Author = {C.A.R. Hoare and Bernhard M{\"o}ller and Georg Struth and Ian Wehrman},
	Journal = {Journal of Logic and Algebraic Programming},
	Number = {6},
	Pages = {266--296},
	Title = {Concurrent {Kleene} Algebra and its Foundations},
	Volume = {80},
	Year = {2011}}


@book{Milner1989aa,
	Author = {Robin Milner},
	Publisher = {Prentice Hall},
	Series = {Prentice-Hall International Series in Computer Science},
	Title = {Communication and Concurrency},
	Year = {1989}}
	