Document Preview Unavailable

Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity

Różowski, Wojciech; Kappé, Tobias; Kozen, Dexter; Schmid, Todd; Silva, Alexandra.  arXiv.org, May 2, 2023.

You might have access to this document