Continuous Probability Distributions in Concurrent Games
Hugo Paquet and Glynn Winskel
Journal
Electr. Notes Theor. Comput. Sci.
Pages
321–344
Volume
341
Year
2018
Hugo Paquet and Glynn Winskel