Probabilistic duration calculus for continuous time

DOI10.1007/s001650050034zbMath0937.68079OpenAlexW1999122486MaRDI QIDQ1125686

Dang Van Hung, Zhou Chaochen

Publication date: 2 January 2000

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650050034

zbMATH Keywords

duration calculus

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

A duration calculus with infinite intervals ⋮ Duration calculus: Logical foundations ⋮ A survey on temporal logics for specifying and verifying real-time systems ⋮ A propositional dynamic logic with qualitative probabilities ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ A Road Map of Interval Temporal Logics and Duration Calculi ⋮ Probabilistic Temporal Logics