Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Duration calculus
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/Interval_temporal_logic/atmzQKTP">Interval temporal logic</a> (ITL)</li> <li><a href="/facts/Temporal_logic/vANP39lc">Temporal logic</a></li> <li><a href="/facts/Temporal_logic_of_actions/AMKECrvK">Temporal logic of actions</a> (TLA)</li> <li><a href="/facts/Modal_logic/I7uXvYYT">Modal logic</a></li></ul> <h2 id="external-links">External links</h2> <ul><li><a href="https://web.archive.org/web/20050830165833/http://www.iist.unu.edu/dc/">Duration Calculus — Virtual Library entry</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Zhou Chaochen, C. A. R. Hoare and Anders P. Ravn, A Calculus of Durations, Information Processing Letters, 40(5):269–276, December 1991. <a href="/wiki/Zhou_Chaochen" target="_blank">/wiki/Zhou_Chaochen</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Zhou Chaochen and Michael R. Hansen, Duration Calculus: A Formal Approach to Real-Time Systems. Springer-Verlag, Monographs in Theoretical Computer Science, An EATCS Series, 2003. ISBN 3-540-40823-1. <a href="/wiki/Zhou_Chaochen" target="_blank">/wiki/Zhou_Chaochen</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>DCVALID: A tool for model-checking Duration Calculus formulae, TIFR, India. <a href="http://www.tcs.tifr.res.in/~pandya/dcvalid.html" target="_blank">http://www.tcs.tifr.res.in/~pandya/dcvalid.html</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>IDLVALID: Model checking dense time Duration Calculus formulae, TIFR, India. <a href="http://www.tcs.tifr.res.in/~pandya/idlvalid.html" target="_blank">http://www.tcs.tifr.res.in/~pandya/idlvalid.html</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> </ol>