scientific article; zbMATH DE number 7438566

zbMath1477.68179arXiv1509.07199MaRDI QIDQ5013876

Philipp H. W. Hoffmann

Publication date: 3 December 2021

Full work available at URL: https://arxiv.org/abs/1509.07199

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (1)

Timed negotiations

Cites Work

• Distributed synthesis for well-connected architectures
• Negotiation as concurrency primitive
• Pushdown processes: Games and model-checking
• Concurrent reachability games
• Alternating-time temporal logic
• Reachability Games on Extended Vector Addition Systems with States
• Alternation
• Perfect Equilibrium in a Bargaining Model
• Playing Games with Counter Automata
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Asynchronous Games over Tree Architectures
• On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations

This page was built for publication: