Duration Calculus(ID:6811/dur002)

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. "A calculus of durations" Information Processing Letters 40(5) 1991 269-276. view details