๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Expressive Completeness of Duration Calculus

โœ Scribed by Alexander Rabinovich


Book ID
112252451
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
311 KB
Volume
156
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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