Towards a time model for circus

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

Volumn 2495, Issue , 2002, Pages 613-624

  Sherif, Adnan ^a   Jifeng, He ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

MAPPING; SEMANTICS; SOFTWARE ENGINEERING;

ABSTRACTION FUNCTIONS; ORIGINAL MODEL; TIME MODEL; TIMED MODELS; TIMED SEMANTICS; UNIFYING THEORIES OF PROGRAMMING;

FORMAL METHODS;

EID: 84948977737     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-36103-0_62     Document Type: Article

References (15)

1. Z. Chaochen, C. A. R. Hoare, and A. P. Ravn. A Calculus of Duration. Information Processing Letters., 40:269-276, 1991.
2. E. W. Dijkstra. Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Communications of the ACM, 18(8), 1975.
3. C. A. R. Hoare and H. Jifeng. Unifying Theories of Programming. Prentice-Hall Series in Computer Science, 1998.
4. F. Jahanian, A. K. Mok, and D. A. Stuart. Formal specification of real-time systems. Technical Report TR-88-25, Department of Computer Science, University of Texas at Austin, June 1988.
5. He Jifeng and Victor Verbovskiy. Integrating CSP and DC. R 248, International Institute for Software Technology, The United Nation University, P.O. Box 3058, Macau, January 2002.
6. Li Li and He Jifeng. A Denotational Semantics of Timed RSL using Duration Calculus. R 168, International Institute for Software Technology, The United Nation University, P.O. Box 3058 Macau, July 1999.
7. C. Morgan. Programming from Specifications. Series in Computer Science. Prentice-Hall International, 2nd edition, 1994.
8. G. M. Reed and A. W. Roscoe. A timed model for communicating sequential processes. In Proceedings of ICALP’86, volume 226. Lecture Notes in Computer Science, 1986.
9. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice-Hall International, 1998.
10. A. Sampaio, J. C. P. Woodcock, and A. L. C. Cavalcanti. Refinement in Circus. To appear in proceedings of FME2002, 2002.
11. Adnan Sherif and He Jifeng. Towards a Time Model for Circus. R 257, International Institute for Software Technology, The United Nation University, P.O. Box 3058, Macau, July 2002.
12. M. Spivey. The Z Notation. Prentice-Hall International, 2nd edition, 1992.
13. J. C. P. Woodcock and A. L. C. Cavalcanti. Circus: a concurrent refinement language. Technical report, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, UK, July 2001.
14. J. C. P. Woodcock and A. L. C. Cavalcanti. The steam boiler in a unified theory of Z and CSP. In 8th Asia-Pacific Software Engineering Conference (APSEC 2001), 2001.
15. J. C. P. Woodcock and A. L. C. Cavalcanti. The Semantics of Circus - a Concurrent Language for Refinement. In ZB 2002: Formal Specification and Development in Z and B, volume 2272 of LNCS. Springer, January 2002.