32 citations · 61 across the 17 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023
Saturating automata for game semantics
Alex Dixon, Andrzej S. Murawski
Saturation is a fundamental game-semantic property satisfied by strategies that interpret higher-order concurrent programs. It states that the strategy must be closed under certain…
cs.PL2023★ 1 cited
Exact Bayesian Inference on Discrete Models via Probability Generating Functions: A Probabilistic Programming Approach
Fabian Zaiser, Andrzej S. Murawski, Luke Ong
We present an exact Bayesian inference method for discrete statistical models, which can find exact solutions to a large class of discrete inference problems, even with infinite su…