Algorithmic probabilistic game semantics. Playing games with automata
From MaRDI portal
Publication:2248076
DOI10.1007/s10703-012-0173-1zbMath1291.68294OpenAlexW22667845MaRDI 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
Applications of game theory (91A80) Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (3)
Unnamed Item ⋮ Quantitative simulations by matrices ⋮ QPCF: higher-order languages and quantum circuits
Uses Software
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Algorithmic probabilistic game semantics. Playing games with automata
