Reversibility of Executable Interval Temporal Logic Specifications

DOI10.1007/978-3-030-79837-6_13MaRDI QIDQ5162611zbMATH OpenOpenAlexFDO

Authors Antonio Cau, Stefan Kühn, James Hoey

Publication date 3 November 2021

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2105.03375

zbMATH Keywords

interval temporal logicprogram reversionreversible computingtemporal reflection

Mathematics Subject Classification ID

Other nonclassical models of computation (68Q09) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68)

Cites work

• Compositional reasoning using intervals and time reversal
• scientific article; zbMATH DE number 3901996 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• Logical Reversibility of Computation
• Reversible Imperative Parallel Programs and Debugging
• Reversing parallel programs with blocks and procedures

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Reversibility of Executable Interval Temporal Logic Specifications

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