Handshake Games
From MaRDI portal
Publication:2864210
DOI10.1016/j.entcs.2006.11.034zbMath1277.68183MaRDI QIDQ2864210
Publication date: 6 December 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2006.11.034
91A80: Applications of game theory
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work
- Receptive process theory
- A game semantics for linear logic
- New foundations for the geometry of interaction
- Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)
- Unbounded Non-determinism in CSP
- Handshake Circuits
- A Game Semantics of Idealized CSP
- CONCUR 2004 - Concurrency Theory
- Automata, Languages and Programming
- Tools and Algorithms for the Construction and Analysis of Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item