✦ LIBER ✦

Expressive Completeness of Duration Calculus

✍ Scribed by Alexander Rabinovich

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Expressive Completeness of Duration a

✍ Alexander Rabinovich 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 878 KB

Completeness of indexed ε-calculus

✍ G.E. Mints; Darko Sarenac 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 144 KB

Completeness of the accumulation calculu

✍ Huiqun Yu; Guoxin Song; Yongqiang Sun 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 388 KB

A calculus of durations

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

On the completeness of incidence calculu

✍ Lusheng Wang; S. K. M. Wong; Y. Y. Yao 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 723 KB

An overview of Duration Calculus

✍ Chaochen Zhou 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 58 KB