Synthesizing distributed transition systems from global specifications

DOI10.1007/3-540-46691-6_17MaRDI QIDQ4501674zbMATH OpenFDO

Authors Ilaria Castellani, Madhavan Mukund, P. S. Thiagarajan

Publication date 7 November 2000

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

Full work available at URL https://doi.org/10.1007/3-540-46691-6_17

zbMATH Keywords

global specifications

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• scientific article; zbMATH DE number 1820085
• Distributed synthesis for acyclic architectures
• Distributed synthesis for regular and contextfree specifications
• Distributed controller synthesis for local specifications
• Distributed synthesis for regular and contextfree specifications

Cited in

(12)

• From global choreographies to verifiable efficient distributed implementations
• Event-based functional decomposition
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• scientific article; zbMATH DE number 1820085 (Why is no real title available?)
• Bounded Synthesis
• Realizability of Concurrent Recursive Programs
• scientific article; zbMATH DE number 1515852 (Why is no real title available?)
• Guaranteed global performance through local coordinations
• CONCUR 2005 – Concurrency Theory
• Compositional automata learning of synchronous systems
• Realisability of global models of interaction
• Compositional active learning of synchronizing systems through automated alphabet refinement

This page was built for publication: Synthesizing distributed transition systems from global specifications

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