Reasoning about real-time repetitions: Terminating and nonterminating

DOI10.1016/S0167-6423(02)00024-2zbMATH Open1014.68036OpenAlexW1994683972MaRDI QIDQ700976FDOQ700976

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

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

zbMATH Keywords

real-time systemnonterminating processpredicative semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (3)

• Title not available (Why is that?)
• 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)