Multisets and Distributions

Beck, J., Distributive laws , in: B. Eckman, editor, Seminar on Triples and Categorical Homology Theory , number 80 in Lect. Notes Math., Springer, 1969 pp. 119–140

1969

Earlier work this paper cites.

den Hartog, J. and E. P. de Vink, Mixing up nondeterminism and probability: a preliminary report , in: C. Baier, M. Huth, M. Z. Kwiatkowska and M. Ryan, editors, First International Workshop on Probabilistic Methods in Verification, PROBMIV 1998, Indianapolis, Indiana, USA, June 19-20, 1998 , Electronic Notes in Theoretical Computer Science 22

1998

Earlier work this paper cites.

Mislove, M. W., Nondeterminism and probabilistic choice: Obeying the laws , in: C. Palamidessi, editor, CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings , Lecture Notes in Computer Science 1877

2000

Earlier work this paper cites.

Varacca, D., “Probability, nondeterminism and concurrency: Two denotational models for probabilistic computation,” Ph.D. thesis, Aarhus University (2003)

2003

Earlier work this paper cites.

Mislove, M. W., J. Ouaknine and J. Worrell, Axioms for probability and nondeterminism , in: F. Corradini and U. Nestmann, editors, Proceedings of the 10th International Workshop on Expressiveness in Concurrency, EXPRESS 2003, Marseille, France, September 2, 2003 , Electronic Notes in Theoretical Computer Science 96

2004

Earlier work this paper cites.

Varacca, D. and G. Winskel, Distributing probability over non-determinism , Math. Struct. Comput. Sci. 16

2006

Earlier work this paper cites.

Chen, Y. and J. W. Sanders, Unifying probability with nondeterminism , in: A. Cavalcanti and D. Dams, editors, FM 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings , Lecture Notes in Computer Science 5850

2009

Cited alongside, same era.

Keimel, K. and G. D. Plotkin, Mixed powerdomains for probability and nondeterminism , Log. Methods Comput. Sci. 13

2017

Cited alongside, same era.

Dahlqvist, F., L. Parlant and A. Silva, Layer by layer - combining monads , in: B. Fischer and T. Uustalu, editors, Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings , Lecture Notes in Computer Science 11187

2018

Cited alongside, same era.

Sokolova, A. and H. Woracek, Proper semirings and proper convex functors , in: C. Baier and U. Dal Lago, editors, Foundations of Software Science and Computation Structures (FoSSaCS’18) , LNTCS 10803

2018

Zwart, M., “On the non-compositionality of monads via distributive laws,” Ph.D. thesis, Oxford University (2020)

2020

Later among the works it cites.

Affeldt, R., J. Garrigue, D. Nowak and T. Saikawa, A trustful monad for axiomatic reasoning with probability and nondeterminism , J. Funct. Program. 31

2021

Later among the works it cites.

Dash, S. and S. Staton, A monad for probabilistic point processes , Electronic Proceedings in Theoretical Computer Science 333

2021

Later among the works it cites.

Jacobs, B., From multisets over distributions to distributions over multisets , in: 2021 36th Annual ACM/IEEE Symp. Logic in Computer Science (LICS) , 2021, pp. 1–13

2021

Later among the works it cites.

Jakl, T., D. Marsden and N. Shah, Generalizations of bilinear maps – technical report , CoRR (2022). URL https://arxiv.org/abs/2205.05382

Original