FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/b94618zbMath1205.68089OpenAlexW2246750081MaRDI QIDQ5191530

Igor Walukiewicz, Swarup Mohalik

Publication date: 6 August 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b94618

Mathematics Subject Classification ID

Games involving graphs (91A43) Distributed systems (68M14)

Related Items

Hierarchical information and the synthesis of distributed strategies, Consensus Game Acceptors, Distributed synthesis for well-connected architectures, Compositional strategy synthesis for stochastic games with multiple objectives, Reasoning about equilibria in game-like concurrent systems, The synthesis problem for repeatedly communicating Petri games, Bounded Synthesis, Unnamed Item, Unnamed Item, Unnamed Item, Consensus Game Acceptors and Iterated Transductions, Petri games: synthesis of distributed systems with causal memory, Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems, Distributed synthesis for parameterized temporal logics, From Asynchronous to Synchronous Specifications for Distributed Program Synthesis, On Distributed Program Specification and Synthesis in Architectures with Cycles, Synthesis of Fault-Tolerant Embedded Systems Using Games: From Theory to Practice, Knowledge and Local Actions, A Compositional Framework for Controller Synthesis, Synthesis in presence of dynamic links, Compositional construction of most general controllers