FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
From MaRDI portal
Publication:5191530
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
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