A duration calculus with infinite intervals
From MaRDI portal
Publication:5055877
DOI10.1007/3-540-60249-6_39OpenAlexW1525064557MaRDI QIDQ5055877
Xiaoshan Li, Chaochen Zhou, Dang Van Hung
Publication date: 9 December 2022
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-60249-6_39
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (4)
A duration calculus with infinite intervals ⋮ Algebraic neighbourhood logic ⋮ Expressive completeness of duration calculus. ⋮ Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic
Cites Work
This page was built for publication: A duration calculus with infinite intervals