Reasoning about real-time repetitions: Terminating and nonterminating

DOI10.1016/S0167-6423(02)00024-2MaRDI QIDQ700976zbMATH OpenOpenAlexFDO

Authors Ian Hayes

Publication date 16 October 2002

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0167-6423(02)00024-2

zbMATH Keywords

nonterminating processpredicative semanticsreal-time system

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A Decidable Temporal Logic of Repeating Values
• Temporal logics of repeating values
• scientific article; zbMATH DE number 1693545
• scientific article; zbMATH DE number 1612486
• Realizability of real-time logics
• Real-time refinement in Manna and Pnueli's temporal logic
• scientific article; zbMATH DE number 1487632
• Real-time logics: Complexity and expressiveness
• Decidability and Expressive Power of Real Time Logics
• Extending timed automaton and real-time logic to many-valued reasoning

Cited in

(3)

• scientific article; zbMATH DE number 1612486 (Why is no real title available?)
• Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe
• Algebraic reasoning for probabilistic action systems and while-loops

This page was built for publication: Reasoning about real-time repetitions: Terminating and nonterminating

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q700976)