scientific article; zbMATH DE number 1538037

zbMATH Open0960.68124MaRDI QIDQ4518892FDOQ4518892

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

Publication date: 20 May 2001

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

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

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)

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)