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

(21)

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

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)