Duration Calculus

Author: Chaochen Zhou
Edition: Softcover reprint of hardcover 1st ed. 2004
Binding: Paperback
ISBN: 3642074049

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

A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. Get Duration Calculus computer books for free.
The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness, decidability, undecidability, model-checking), results, as well as case studies (Deadline Driven Scheduler). Check Duration Calculus our best computer books for 2013. All books are available in pdf format and downloadable from rapidshare, 4shared, and mediafire.

Duration Calculus Download

The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {0,1}-valued) functions over time to model states of real-time systems

Related Computer Books