Duration calculus of weakly monotonic time

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1486, Issue , 1998, Pages 55-64

  Pandya, Paritosh K ^a   Van Hung, Dang ^b  

^a TATA INSTITUTE OF FUNDAMENTAL RESEARCH   (India)

^b UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; COMPUTER CIRCUITS; FAULT TOLERANCE; RECONFIGURABLE HARDWARE; SEMANTICS;

DIGITISATION; DURATION CALCULUS; TIME POINTS; TIMED CSP;

REAL TIME SYSTEMS;

EID: 84958624929     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055336     Document Type: Conference Paper

References (13)

1. R. Alur and T.A. Henzinger. Logics and models of real time: A survey. In Proc. REX workshop on real-time: Theory in Practice, volume 600 of LNCS. Springer-Verlag, 1991.
2. Gérard Berry and Georges Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19:87-152, 1992.
3. J. Davis and S. Schneider. A brief history of timed csp. Theoretical Computer Science, 138, 1995.
4. M.R. Hansen, P.K. Pandya, and Chaochen Zhou. Finite divergence. Theoretical Computer Science, 138:113-139, 1995.
5. T. Henzinger, Z. Manna, and A. Pnueli. What good are digital clocks, volume 623 of LNCS, pages 273-337. Springer-Verlag, 1992.
6. P.K. Pandya. Some extensions to mean-value calculus: expressiveness and decidability. In H. Kleine Buning, editor, Proc. CSL'95, volume 1092 of LNCS. Springer-Verlag, 1995.
7. P.K. Pandya. A compositional semantics of SL. Technical report, DeTfoRS Group, UNU/IIST, October 1997.
8. P.K. Pandya and Y.S. Ramakrishna. A recursive mean value calculus. Technical report, Computer Science Group, TIFR, Bombay, TCS-95/3, 1995.
9. P.K. Pandya and D.V. Hung. Duration Calculus of Weakly Monotonic Time. Technical Report 129, UNU/IIST, P.O. Box 3058, Macau, 1997.
10. G. Schneider and Qiwen Xu. Towards a formal semantics of Verilog using Duration Caculus. In proc. of FTRTFT'98, LNCS, 1998. (to appear).
11. Qiwen Xu and Swarup Mohalik. Compositional verification in duration calculus. Technical Report 136, UNU/IIST, P.O. Box 3058 Macau, 1997.
12. Chaochen Zhou, C.A.R. Hoare, and A.P. Ravn. A calculus of durations. Information Processing Letters, 40(5):269-276, 1991.
13. Chaochen Zhou and Xiaoshan Li. A mean value calculus of durations. In A Classical Mind: Essays in Honour of C.A.R. Hoare, A. W. Roscoe (ed), pages 431-451. Prentice Hall International, 1994.