Decidability of mean value calculus

DOI10.1007/BF02946525zbMath0919.03009MaRDI QIDQ1288439

Xiaoshan Li

Publication date: 23 August 1999

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

real-time systemsdecidabilitychop star operatorconservative extension of duration calculusmean value calculusreal-time logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Finite divergence ⋮ Decidability of mean value calculus

Cites Work

• A calculus of durations
• Decidability of mean value calculus
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidability of mean value calculus