39 citations · 146 across the 23 of their papers we have counts for
Showing 2023 · cs.LOShow all
2 papers · 2 filters
cs.LO2023
Probabilistic Guarded KAT Modulo Bisimilarity: Completeness and Complexity
Wojciech Różowski, Tobias Kappé, Dexter Kozen +2
We introduce Probabilistic Guarded Kleene Algebra with Tests (ProbGKAT), an extension of GKAT that allows reasoning about uninterpreted imperative programs with probabilistic branc…
cs.LO2023
Multisets and Distributions
Dexter Kozen, Alexandra Silva
We give a lightweight alternative construction of Jacobs's distributive law for multisets and distributions that does not involve any combinatorics. We first give a distributive la…