scientific article; zbMATH DE number 1754607

zbMath0986.68079MaRDI QIDQ4535033

P. Madhusudan, P. S. Thiagarajan

Publication date: 12 June 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2076/20760396

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Reasoning about layered message passing systems, Hierarchical information and the synthesis of distributed strategies, Automated Synthesis of Distributed Controllers, Bounded Synthesis for Petri Games, Distributed synthesis for well-connected architectures, Undecidable problems of decentralized observation and control on regular languages, Controlling loosely cooperating processes, Bounded Synthesis, Unnamed Item, Distributed synthesis is simply undecidable, Distributed synthesis for regular and contextfree specifications, Infinite games with finite knowledge gaps, PSPACE-completeness of modular supervisory control problems, Infinite-state high-level MSCs: model-checking and realizability, 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, Distributed Synthesis in Continuous Time, Automated Synthesis: a Distributed Viewpoint