Part of the Monographs in Theoretical Computer Science An EATCS Series book series (EATCS)
In this chapter we present the syntax, semantics and proof system of duration calculus. In addition, we present some theorems and rules of DC which are useful when conducting proofs.
KeywordsState Expression Inference Rule Proof System Nonnegative Real Number Induction Rule
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 2004