Handshake games

DOI10.1016/J.ENTCS.2006.11.034MaRDI QIDQ2864210zbMATH OpenOpenAlexFDO

Authors 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

concurrencygame semanticsnondeterminismassociativityhandshake 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)

Recommendations

• Handshakes across a (round) table
• Give-or-take games
• Publication:3481501
• scientific article; zbMATH DE number 509223
• Games of Connectivity
• scientific article; zbMATH DE number 7438566
• Sandwich games

Cites work

• scientific article; zbMATH DE number 3837349 (Why is no real title available?)
• scientific article; zbMATH DE number 4180791 (Why is no real title available?)
• scientific article; zbMATH DE number 4030996 (Why is no real title available?)
• scientific article; zbMATH DE number 177530 (Why is no real title available?)
• scientific article; zbMATH DE number 4123722 (Why is no real title available?)
• scientific article; zbMATH DE number 786499 (Why is no real title available?)
• scientific article; zbMATH DE number 910713 (Why is no real title available?)
• A Game Semantics of Idealized CSP
• A game semantics for linear logic
• Automata, Languages and Programming
• CONCUR 2004 - Concurrency Theory
• Handshake Circuits
• New foundations for the geometry of interaction
• Receptive process theory
• Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)
• Tools and Algorithms for the Construction and Analysis of Systems
• Unbounded Non-determinism in CSP

Cited in

(2)

• The Calculus of Handshake Configurations
• A Petri Net Model of Handshake Protocols

This page was built for publication: Handshake games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864210)