H ? « ‹ ← → › »

Language peer sets for Duration Calculus:
United Kingdom↑
United Kingdom/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Duration Calculus(ID:6811/dur002)

alternate simple view
Country: United Kingdom
Designed 1991

Formal expression of time passing
Related languages
Duration Calculus → CSP-OZ-DC   Incorporated some features of
References:
  • Zhou, C., Hoare, C. A. R., and Ravn, A. P. (1991) Zhou, C., Hoare, C. A. R., and Ravn, A. P. "A calculus of durations" Information Processing Letters 40(5) 1991 269-276.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder