Formal Methods
RAISE
Duration Calculus
Please email
iistinfo@iist.unu.edu
if you know of relevant on-line information not included here
or would like to maintain information on a particular topic.
This document contains some pointers to information relating to the
Duration Calculus (DC)
and its associated
tool support, available around the world
on the
World Wide Web (WWW).
Duration Calculus is an interval logic for real-time
systems,
originally developed by
Prof. Zhou Chaochen
et al. as part of the
ProCoS project.
Items marked
are recently added.
Items marked
are especially recommended.
The Duration Calculus was originally proposed by
Zhou ChaoChen,
Tony Hoare
and
Anders P. Ravn
in the following seminal paper:
A Calculus of Durations,
Information Processing Letters,
40(5):269-276, December 1991.
See a
Duration Calculus publications search list
from the excellent
Collection of Computer Science Bibliographies.
Here are some more specific individual on-line publications:
-
Duration Calculus: A Logical Approach to Real-Time Systems,
24-28 August 1998.
A workshop held as part of the
10th European Summer School in Logic, Language and Information
(ESSLLI-98),
Saarbrücken, Germany,
17-28 August 1998.
-
Workshop on Interval temporal Logics and Duration Calculi
August 25-29, 2003.
A workshop held as part of the
15-th European Summer School in Logic, Language and Information
ESSLLI-2003, Vienna, Austria,
August 18-29, 2003.
-
ProCoS Workshop including a Duration Calculus session,
22 September 1999,
part of a
User Group Meeting at the
FM'99 World Congress on Formal Methods, Toulouse, France,
20-24 September 1999.
-
Duration Calculus: A Logical Approach to Real-time Systems,
UNU-IIST, Macau.
See also:
Created by
Jonathan Bowen,
20 July 1999.
Last updated by
Jonathan Bowen,
20 August 1999.
Further information for possible inclusion is welcome.
Hosted by
UNU-IIST, Macau.