Continuous Probability Distributions in Concurrent Games
Published version
Peer-reviewed
Repository URI
Repository DOI
Change log
Authors
Paquet, H
Winskel, G
Description
Keywords
Game semantics, concurrency, event structures, probability, measure theory
Journal Title
Electronic Notes in Theoretical Computer Science
Conference Name
Journal ISSN
1571-0661
Volume Title
341
Publisher
Elsevier BV