Sooner is safer than later

DOI10.1016/0020-0190(92)90005-GzbMath0753.68041MaRDI QIDQ1199553

Thomas A. Henzinger

Publication date: 16 January 1993

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

livenesssafetytopologysemanticsconcurrencyreal-time

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Zeno, Hercules, and the Hydra, Modularity for timed and hybrid systems, Synthesizing bounded-time 2-phase fault recovery, Some Recent Results in Metric Temporal Logic, On relative and probabilistic finite counterability, Heterogeneous and asynchronous networks of timed systems, The expressive power of clocks, The Unmet Challenge of Timed Systems, Monitoring Metric First-Order Temporal Properties, Models for reactivity

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Safety and liveness from a methodological point of view
• Defining liveness
• Safety without stuttering
• Appraising fairness in languages for distributed programming
• Constraint logic programming for reasoning about discrete event processes
• Proving the Correctness of Multiprocess Programs