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 (9)

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

This page was built for publication: Coordination Logic