Handshake games

DOI10.1016/J.ENTCS.2006.11.034zbMATH Open1277.68183OpenAlexW2914182139MaRDI QIDQ2864210FDOQ2864210

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unbounded Non-determinism in CSP
• A game semantics for linear logic
• Receptive process theory
• CONCUR 2004 - Concurrency Theory
• Tools and Algorithms for the Construction and Analysis of Systems
• New foundations for the geometry of interaction
• Automata, Languages and Programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Handshake Circuits
• A Game Semantics of Idealized CSP
• Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)
• Title not available (Why is that?)

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)