An Event Structure Model for Probabilistic Concurrent Kleene Algebra.

Annabelle McIver, Tahiry M. Rabehaja, Georg Struth

Browse the full LPAR paper archive.