Prefix and projection onto state in duration calculus

Electronic Notes in Theoretical Computer Science

Volumn 65, Issue 6, 2002, Pages 101-119

  Guelev, Dimitar P ^a,b   Van Hung, Dang ^c  

^a UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^b INSTITUTE OF MATHEMATICS AND INFORMATICS   (Bulgaria)

^c UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; DECISION THEORY; REAL TIME SYSTEMS; THEOREM PROVING;

DURATION CALCULUS; LEAST FIXED POINT OPERATORS; PREFIX OPERATORS; PROJECTION ONTO STATE;

MATHEMATICAL OPERATORS;

EID: 18944370617     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80472-9     Document Type: Conference Paper

References (22)

1. Arnold A, Niwiński D. Rudiments of the μ-calculus. 2001;Elsevier
2. Dierks H. Specification and Verification of Polling Real-Time Systems. Ph.D. Thesis, Oldenburg University, 2000.
3. Dietz C. Graphical formalization of real-time requirements. Proceedings of FTRTFT'96, LNCS 1135, pp. 366-385, Springer-Verlag, 1996.
4. Dang Van Hung. Projections: A Technique for Verifying Real-Time Programs in Duration Calculus. Technical Report 178, UNU/IIST, P.O. Box 3058, Macau, November 1999.
5. Guelev, D. P. A Complete Fragment of Higher-Order Duration μ-Calculus. Proceedings of FST TCS 2000. LNCS 1974, Sringer Verlag, 2000.
6. *. Research Report 203, UNU/IIST, P.O. Box 3058, Macau, June 2000.
7. Guelev, D. P. A Complete Proof System for First Order ITL with Projection. Research Report 202, UNU/IIST, P.O. Box 3058, Macau, June 2000.
8. Halpern J., Z. Manna and B. Moszkowski. A Hardware Semantics Based on Temporal Intervals. Proceedings of ICALP'83, pp. 278-91, LNCS 154, Springer Verlag, 1983.
9. He Jifeng. A Behavioral Model for Co-design. Proceedings of the World Congress on Formal Methods in the Development of Computing Systems, September, 1999, pp. 1420-1439, LNCS 1709, Springer Verlag, 1999.
10. Jifeng He, Qiwen Xu. Advanced Features of DC and Their Applications. Millenial Perspectives in Computer Science. 2000;Palgrave
11. Moszkowski B. Executing Temporal Logic Programs. 1986;Cambridge University Press
12. Moszkowski B. Compositional Reasoning about Projected and Infinite Time. Proceedings of ICECCS'95, IEEE Computer Society Press, pp. 238-245, Los Alamitos, California, 1995.
13. Pandya, P. K. Some extensions to Mean-Value Calculus: Expressiveness and Decidability. Proceedings of CSL'95, LNCS 1092, 1995.
14. Pandya, P. K. Weak chop inverses and liveness in mean-value calculus. Proceedings of FTRTFT'96, LNCS 1135, 1996.
15. Pandya, P. K. and Dang Van Hung. Duration Calculus of Weakly Monotonic Time. Technical Report 122, UNU/IIST, P.O. Box 3058, Macau, September 1997.
16. Ravn, A. P. Design of Embedded Real-Time Computing Systems. Technical report 1995-170, Technical University of Denmark, 1995.
17. Shoenfield J. Mathematical Logic. 1967;Addison-Wesley
18. Chaochen Zhou, Guelev D.P., Naijun Zhan. A Higher-Order Duration Calculus. Millenial Perspectives in Computer Science. 2000;Palgrave
19. Zhou Chaochen and M. Hansen Chopping a Point. Proceedings of BCS FACS 7th Refinement Workshop, Electronic Workshop in Computer Sciences, Springer-Verlag, 1996.
20. Chaochen Zhou, Hoare C.A.R., Ravn A.P. A Calculus of Durations. Information Processing Letters. 40:(5):1991;269-276
21. Zhou Chaochen, M.R. Hansen and P. Sestoft. Decidability and Undecidability Results for Duration Calculus. Proceedings of STACS'93, Würzburg, LNCS 665, pp. 58-68, February 1993.
22. Chaochen Zhou, Ravn A.P., Hansen M.R. An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems. 1993;Springer Verlag, LNCS 736