Coordination Logic

DOI10.1007/978-3-642-15205-4_25zbMath1287.03070OpenAlexW2913483564MaRDI QIDQ3586048

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

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

Related Items

Graph Games and Reactive Synthesis, Imperfect information in reactive modules games, Unnamed Item, Model-checking iterated games, Reasoning About Strategies, Automated temporal equilibrium analysis: verification and synthesis of multi-player games, Infinite games with finite knowledge gaps, Unnamed Item, Good-for-Game QPTL: An Alternating Hodges Semantics