scientific article; zbMATH DE number 1759629

zbMATH Open0999.68531MaRDI QIDQ4536620FDOQ4536620

Authors: Luca De Alfaro, Freddy Y. C. Mang, Thomas A. Henzinger 

Publication date: 28 November 2002

scientific article; zbMATH DE number Title of this publication is (Why is no real title available?)

Recommendations

• scientific article; zbMATH DE number 1863184
• scientific article; zbMATH DE number 3856434
• scientific article; zbMATH DE number 5587278
• Supervisory Control of a Class of Discrete Event Processes
• Desynchronizability of (partial) synchronous closed loop systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Control/observation systems involving computers (process control, etc.) (93C83)

Cited In (9)

• Repetitive control of synchronized operations for process applications
• A survey of stochastic \(\omega \)-regular games
• Title not available (Why is no real title available?)
• Model checking abilities of agents: a closer look
• Title not available (Why is no real title available?)
• Pruning external minimality checking for answer set programs using semantic dependencies
• Title not available (Why is no real title available?)
• Qualitative analysis of concurrent mean-payoff games
• Scheduling and buffer sizing of n-synchronous systems. Typing of ultimately periodic clocks in Lucy-n

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