Truth of Duration Calculus Formulae in Timed Frames

Fundamenta Informaticae

Volumn 36, Issue 2, 1998, Pages 235-263

  Middelburg, Kees A ^a,b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

Duration calculus; Real time requirements; Time dependent behaviour; Timed frames; Verification

Indexed keywords

EID: 0347246744     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: 10.3233/fi-1998-36236     Document Type: Article

References (38)

1. Arnold, A.: Finite Transition Systems, Prentice-Hall, 1994.
2. Arnold, K. and Gosling, J.: The Java Programming Language, Addison-Wesley, 1996.
3. Baeten, J.C.M. and Bergstra, J.A.: "Real time process algebra", Formal Aspects of Computing, 3, 1991, 142-188.
4. Baeten, J.C.M. and Bergstra, J.A.: "Discrete time process algebra (extended abstract)". In W.R. Cleaveland (ed.), CONCUR'92, LNCS 630, Springer-Verlag, 1992, 401-420. Full version: Report P9208b, Programming Research Group, University of Amsterdam.
5. Baeten, J.C.M. and Bergstra, J.A.: "Discrete time process algebra", Formal Aspects of Computing, 8, 1996, 188-208.
6. Baeten, J.C.M. and Bergstra, J.A.: "Discrete time process algebra: Absolute time, relative time and parametric time", Fundamenta Informaticae, 29, 1997, 51-76.
7. Bergstra, J.A., Fokkink, W.J. and Middelburg, C.A.: "Algebra of timed frames", International Journal of Computer Mathematics, 61, 1996, 227-255.
8. Bergstra, J.A., Fokkink, W.J. and Middelburg, C.A.: "A logic for signal inserted timed frames", Logic Group Preprint Series 155, Department of Philosophy, Utrecht University, 1996.
9. Bergstra, J.A. and Klint, P.: "The discrete time TOOLBUS - A software coordination architecture", Science of Computer Programming, 31, 1998, 205-229.
10. Bergstra, J.A., Middelburg, C.A and Usenko, Y.S.: "Discrete time process algebra and the semantics of SDL", CWI Report SEN-R9809, Centre for Mathematics and Computer Science, 1998. To appear in J.A. Bergstra, A. Ponse and S.A. Smolka (eds.), Handbook of Process Algebra, Elsevier, 1999.
11. Bergstra, J.A. and Ponse, A.: "Frame algebra with synchronous communication". In R.J. Wieringa and R.B. Feenstra (eds.), Information Systems - Correctness and Reusability, World Scientific, 1995, 3-15.
12. Chen, L.: "An interleaving model for real-time systems". In A. Nerode and M. Taitslin (eds.), Symposium on Logical Foundations of Computer Science, LNCS 620, Springer-Verlag, 1992, 81-92.
13. Dang Van Hung and Phan Hong Giang: "A sampling semantics of duration calculus". In B. Jonsson and J. Parrow (eds.), Formal Techniques for Real-Time and Fault Tolerant Systems, LNCS 1135, Springer-Verlag, 1996, 188-207.
14. Ellsberger, J., Hogrefe, D. and Sarma, A.: SDL, Formal Object-oriented Language for Communicating Systems, Prentice-Hall, 1997.
15. Fokkink, W. J. and Klusener, A.S.: "An effective axiomatization for real time ACP", Information and Computation. 122, 1995, 286-299.
16. Fränzle, M. and von Karger, B.: "Proposal for a programming language core for ProCoS II", ProCoS II document [Kiel MF 11/3], Christian-Albrechts-Universität Kiel, 1993.
17. Hansen, M.R.: "Model checking discrete duration calculus", Formal Aspects of Computing, 6A, 1994, 826-845.
18. Hansen, M.R. and Zhou Chaochen: "Duration calculus: Logical foundations", Formal Aspects of Computing, 9, 1997, 283-330.
19. He Jifeng, Hoare, C.A.R., Fränzle, M., Müller-Olm, M., Olderog, E.-R., Schenke, M., Hansen, M.R., Ravn, A.P. and Rischel, H.: "Provably correct systems". In H. Langmaack, W.-P. de Roever and J. Vytopil (eds.), Formal Techniques for Real-Time and Fault Tolerant Systems, LNCS 863, Springer-Verlag, 1994, 288-335.
20. Hennessy, M. and Milner, R.: "Algebraic laws for non-determinism and concurrency", Journal of the ACM, 32, 1985, 137-161.
21. Manna, Z. and Pnueli, A.: "Models of reactivity", Acta, Informatica, 30, 1993, 609-678.
22. φSDL", Computing Science Report 96-04, Computing Science Department, Eindhoven University of Technology, 1996.
23. Middelburg, C.A.: "Truth of duration calculus formulae in timed frames", Research Report 82, United Nations University, International Institute for Software Technology, 1996.
24. Milner, R.: Communication and Concurrency, Prentice-Hall, 1989.
25. Müller-Olm, M.: "A new proposal for TimedPL's semantics", ProCoS II document [Kiel MMO 10/1], Christian-Albrechts-Universität Kiel, 1994.
26. Nicollin, X. and Sifakis, J.: "The algebra of timed processes ATP: Theory and application", Information and Computation, 114, 1994, 131-178.
27. Olderog, E.-R. and Hoare, C.A.R.: "Specification-oriented semantics for communicating processes", Acta Informatica, 23, 1986, 9-66.
28. Pandya, P.K. and Dang Van Hung: "Duration calculus of weakly monotonic time". In A.P. Ravn and H. Rischel (eds.), Formal Techniques for Real-Time and Fault Tolerant Systems, LNCS 1486, Springer-Verlag, 1998, 55-64.
29. RAISE Language Group: The RAISE Specification Language, Prentice-Hall, 1992.
30. Ravn, A.P.: "Design of Embedded Real-Time Computing Systems", PhD thesis, Department of Computer Science, Technical University of Denmark, 1995.
31. Schenke, M.: "A timed specification language for concurrent reactive systems". In D.J. Andrews, J.F. Groote and C.A. Middelburg (eds.), Semantics of Specification Languages, Workshop in Computing Series, Springer-Verlag, 1994, 152-167.
32. Schenke, M.: "Development of Correct Real-Time Systems by Refinement", PhD thesis, Fachbereich Informatik, Universität Oldenburg, 1997.
33. Stroustrup, B.: The C++ Programming Language, Addison-Wesley, 1986.
34. Xia Yong: "DC/RJ": A justification assistant for duration calculus", Research Report 126, United Nations University, International Institute for Software Technology, 1997.
35. Zhou Chaochen and Hansen, M.R.: "Chopping a point". In He Jifeng, J. Cooke and P. Wallis (eds.), BCS-FACS 7th Refinement Workshop, Electronic Workshop in Computing Series, Springer-Verlag, 1996.
36. Zhou Chaochen, Hoare, C.A.R. and Ravn, A.P.: "A calculus of durations", Information Processing Letters, 40, 1991, 269-276.
37. Zhou Chaochen and Li Xiaoshan: "A mean value calculus of durations". In A.W. Roscoe (ed.), A Classical Mind: Essays in Honour of C.A.R. Hoare, Prentice-Hall, 1994, 431-451.
38. Zhou Chaochen, Ravn, A.P. and Hansen, M.R.: "An extended duration calculus for hybrid real-time systems". In R.L. Grossman, A. Nerode, A.P. Ravn and H. Rischel (eds.), Hybrid Systems, LNCS 736, Springer-Verlag, 1993, 36-59.