Handshake Games

DOI10.1016/j.entcs.2006.11.034zbMath1277.68183OpenAlexW2914182139MaRDI QIDQ2864210

Luca Fossati

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

zbMATH Keywords

associativityconcurrencynondeterminismgame semanticshandshake circuits

Mathematics Subject Classification ID

Applications of game theory (91A80) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A Petri Net Model of Handshake Protocols

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

This page was built for publication: Handshake Games