Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity.

Wojciech Rozowski, Tobias Kapp, Dexter Kozen, Todd Schmid, Alexandra Silva

Browse the full ICALP paper archive.