Coordination logic

DOI10.1007/978-3-642-15205-4_25MaRDI QIDQ3586048zbMATH OpenOpenAlexFDO

Authors Bernd Finkbeiner, Sven Schewe

Publication date 3 September 2010

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15205-4_25

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Distributed systems (68M14)

Recommendations

• Frontiers of Combining Systems
• scientific article; zbMATH DE number 4119639
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Logic for coalitions with bounded resources
• Alternating-time temporal logic

Cited in

(14)

• Imperfect information in reactive modules games
• Model-checking iterated games
• Automated temporal equilibrium analysis: verification and synthesis of multi-player games
• Coordination under limited depth of reasoning
• scientific article; zbMATH DE number 1630019 (Why is no real title available?)
• Reasoning about strategies: on the model-checking problem
• Graph Games and Reactive Synthesis
• scientific article; zbMATH DE number 7136658 (Why is no real title available?)
• Nash equilibrium and bisimulation invariance
• Infinite games with finite knowledge gaps
• Automata, Languages and Programming
• Coordination Models and Languages
• Good-for-Game QPTL: An Alternating Hodges Semantics
• Coordination mechanisms

This page was built for publication: Coordination logic

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