Reasoning about real-time repetitions: Terminating and nonterminating

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

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

real-time systemnonterminating processpredicative semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (2)

• Title not available (Why is that?)
• Algebraic reasoning for probabilistic action systems and while-loops

   Recommendations

• A Decidable Temporal Logic of Repeating Values 👍 👎
• Temporal Logics of Repeating Values 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Realizability of real-time logics 👍 👎
• Real-time refinement in Manna and Pnueli's temporal logic 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)