https://arxiv.org/abs/2305.01755v1
[2305.01755v1] Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
Abstract page for arXiv paper 2305.01755v1: Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
probabilisticguardedkatmodulocompleteness