@inproceedings{QAPL-2013-McIverRS,
	author        = "Annabelle McIver and Tahiry M. Rabehaja and Georg Struth",
	booktitle     = "{Proceedings of the 11th International Workshop on Quantitative Aspects of Programming Languages and Systems}",
	doi           = "10.4204/EPTCS.117.7",
	pages         = "97--115",
	series        = "{EPTCS}",
	title         = "{Probabilistic Concurrent Kleene Algebra}",
	volume        = 117,
	year          = 2013,
}