scientific article; zbMATH DE number 1927560

MaRDI QIDQ4484484zbMATH OpenFDO

Authors Parthasarathy Madhusudan, P. S. Thiagarajan

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210145.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• On the control of asynchronous automata
• scientific article; zbMATH DE number 5587278
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
• scientific article; zbMATH DE number 1754607
• Fair synthesis for asynchronous distributed systems

Cited in

(22)

• Predicate control: synchronization in distributed computations with look-ahead.
• Hierarchical information and the synthesis of distributed strategies
• Compositional strategy synthesis for stochastic games with multiple objectives
• Modular strategies for recursive game graphs
• The computational complexity of scenario-based agent verification and design
• Undecidable problems of decentralized observation and control on regular languages
• Distributed synthesis in continuous time
• Fair synthesis for asynchronous distributed systems
• Nondeterministic controllers of nondeterministic processes
• Efficient trace encodings of bounded synthesis for asynchronous distributed systems
• Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems
• On Distributed Program Specification and Synthesis in Architectures with Cycles
• Achieving distributed control through model checking
• Desynchronizability of (partial) synchronous closed loop systems
• Methods for knowledge based controlling of distributed systems
• Practical distributed control synthesis
• Distributed Asynchronous Games With Causal Memory are Undecidable
• On the control of asynchronous automata
• On the control of asynchronous machines with races
• Translating asynchronous games for distributed synthesis
• (Un)decidability bounds of the synthesis problem for Petri games
• Distributed synthesis for well-connected architectures

This page was built for publication:

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