scientific article; zbMATH DE number 1500652

zbMATH Open0956.68008MaRDI QIDQ4501674FDOQ4501674

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

Publication date: 7 November 2000

Title of this publication is not available (Why is that?)

Recommendations

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

zbMATH Keywords

global specifications

Mathematics Subject Classification ID

Distributed systems (68M14)

Cited In (11)

• Title not available (Why is that?)
• Realizability of Concurrent Recursive Programs
• Realisability of global models of interaction
• Bounded Synthesis
• Title not available (Why is that?)
• Guaranteed global performance through local coordinations
• CONCUR 2005 – Concurrency Theory
• Compositional automata learning of synchronous systems
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• From global choreographies to verifiable efficient distributed implementations
• Event-based functional decomposition

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 Q4501674)