scientific article; zbMATH DE number 1500652

zbMath0956.68008MaRDI QIDQ4501674

Madhavan Mukund, Ilaria Castellani, P. S. Thiagarajan

Publication date: 7 November 2000

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

zbMATH Keywords

global specifications

Mathematics Subject Classification ID

Distributed systems (68M14)

Related Items

Bounded Synthesis, Contracts for cross-organizational workflows as timed dynamic condition response graphs, Guaranteed global performance through local coordinations, Realizability of Concurrent Recursive Programs, Event-based functional decomposition