A probabilistic powerdomain of evaluations
Proceedings of the Fourth Annual Symposium on Logic in computer science
Communication and Concurrency
Linearity in Process Languages
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Event Structure Semantics for CCS and Related Languages
Proceedings of the 9th Colloquium on Automata, Languages and Programming
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Information and Computation
Probabilistic event structures and domains
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Event Structures with Symmetry
Electronic Notes in Theoretical Computer Science (ENTCS)
Game Semantics for Quantum Data
Electronic Notes in Theoretical Computer Science (ENTCS)
LICS '11 Proceedings of the 2011 IEEE 26th Annual Symposium on Logic in Computer Science
Choquet-kendall-matheron theorems for non-hausdorff spaces
Mathematical Structures in Computer Science
Winning, losing and drawing in concurrent games with perfect or imperfect information
Logic and Program Semantics
Deterministic concurrent strategies
Formal Aspects of Computing - Celebrating the 60th Birthday of Carroll Morgan
On Concurrent Games with Payoff
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
Building on a new definition and characterization of probabilistic event structures, a general definition of distributed probabilistic strategies is proposed. Probabilistic strategies are shown to compose, with probabilistic copy-cat strategies as identities. A higher-order probabilistic process language reminiscent of Milner@?s CCS is interpretable within probabilistic strategies. W.r.t. a new definition of quantum event structure, it is shown how consistent parts of a quantum event structure are automatically probabilistic event structures, and so possess a probability measure. This gives a non-traditional take on the consistent-histories approach to quantum theory. It leads to an extension to quantum strategies. Probabilistic games extend to games with payoff, symmetry and games of imperfect information.