✦ LIBER ✦

An overview of Duration Calculus

✍ Scribed by Chaochen Zhou

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Overview of the Signal Clock Calculus

✍ Mirabelle Nebut 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 381 KB

A calculus of durations

✍ Zhou Chaochen; C.A.R. Hoare; Anders P. Ravn 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 831 KB

Expressive Completeness of Duration Calc

✍ Alexander Rabinovich 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 311 KB

Sharpening the Incompleteness of the Dur

✍ Dimitar P. Guelev 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 303 KB

Specification and verification of multim

✍ HuaDong Ma 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 804 KB

Towards a denotational semantics of time

✍ Li Li 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 721 KB