Algorithmic probabilistic game semantics. Playing games with automata
From MaRDI portal
Publication:2248076
DOI10.1007/s10703-012-0173-1zbMath1291.68294MaRDI QIDQ2248076
James Worrell, Andrzej S. Murawski, Björn Wachter, Stefan Kiefer, Joël Ouaknine
Publication date: 30 June 2014
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10703-012-0173-1
full abstraction; game semantics; probabilistic automata; contextual equivalence; probabilistic computation
91A80: Applications of game theory
68Q45: Formal languages and automata
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Quantitative simulations by matrices, QPCF: higher-order languages and quantum circuits, Unnamed Item
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Functions with local state: regularity and undecidability
- The dining cryptographers problem: Unconditional sender and recipient untraceability
- A trivial algorithm whose analysis isn't
- Fully abstract models of typed \(\lambda\)-calculi
- On full abstraction for PCF: I, II and III
- Full abstraction for PCF
- Game-theoretic analysis of call-by-value computation
- A Fragment of ML Decidable by Visibly Pushdown Automata
- GENERIC ∊-REMOVAL AND INPUT ∊-NORMALIZATION ALGORITHMS FOR WEIGHTED TRANSDUCERS
- The Thousand-and-One Cryptographers
- Abstraction, Refinement and Proof for Probabilistic Systems
- CSP and anonymity
- The impact of higher-order state and control effects on local relational reasoning
- Probabilistic automata
- Computer Aided Verification
- Some Combinatorial Properties of Certain Trees With Applications to Searching and Sorting
- Probabilistic game semantics
- CONCUR 2005 – Concurrency Theory
- CONCUR 2005 – Concurrency Theory