scientific article; zbMATH DE number 1759629

MaRDI QIDQ4536620zbMATH OpenFDO

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

Publication date 28 November 2002

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)

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

Cited in

(9)

• Repetitive control of synchronized operations for process applications
• A survey of stochastic -regular games
• scientific article; zbMATH DE number 1863184 (Why is no real title available?)
• Model checking abilities of agents: a closer look
• scientific article; zbMATH DE number 7385938 (Why is no real title available?)
• Pruning external minimality checking for answer set programs using semantic dependencies
• scientific article; zbMATH DE number 7204389 (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)