Probabilistic duration calculus for continuous time

DOI10.1007/S001650050034MaRDI QIDQ1125686zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• A calculus of durations
• A logic for reasoning about time and reliability
• Model-checking discrete duration calculus
• Foundations of Software Science and Computational Structures

Cited in

(9)

• Duration calculus: Logical foundations
• Unification of probability theory on time scales
• A propositional dynamic logic with qualitative probabilities
• A survey on temporal logics for specifying and verifying real-time systems
• scientific article; zbMATH DE number 940714 (Why is no real title available?)
• Probabilistic Temporal Logics
• A duration calculus with infinite intervals
• A Road Map of Interval Temporal Logics and Duration Calculi
• A Road Map of Interval Temporal Logics and Duration Calculi

This page was built for publication: Probabilistic duration calculus for continuous time

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