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
-
Try and log in through your institution to see if they have access to the full text.
Log in through your library