Duration Calculus: A Formal Approach to Real-Time Systems (Monographs in Theoretical Computer Science : an EATCS Series)

by Michael Hansen (Author), Chaochen Zhou (Author)

• New

  Hardcover
  2003

  $114.51

  A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval.