Reasoning about real-time repetitions: Terminating and nonterminating

DOI10.1016/S0167-6423(02)00024-2zbMath1014.68036OpenAlexW1994683972MaRDI QIDQ700976

Ian J. 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)

Related Items (1)

Algebraic reasoning for probabilistic action systems and while-loops

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