scientific article; zbMATH DE number 1538037

MaRDI QIDQ4518892zbMATH OpenFDO

Authors Sébastien Bornot, Joseph Sifakis, Gregor Gössler

Publication date 20 May 2001

zbMATH Keywords

livelock-freedomtime systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Controllability, observability, and system structure (93B99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Liveness in timed and untimed systems
• Liveness in timed and untimed systems
• Liveness of parameterized timed networks
• On the determinization of timed systems
• Dynamically-driven timed automaton abstractions for proving liveness of continuous systems
• Timing and liveness in continuous Petri nets
• Reachability and liveness in parametric timed automata
• scientific article; zbMATH DE number 1689043
• Formal Modeling and Analysis of Timed Systems

Cited in

(1)

• The Unmet Challenge of Timed Systems

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