Slotted-circus A UTP-family of reactive theories

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

Volumn 4591 LNCS, Issue , 2007, Pages 75-97

  Butterfield, Andrew ^a   Sherif, Adnan ^b   Woodcock, Jim ^c  

^a TRINITY COLLEGE DUBLIN   (Ireland)

^b FEDERAL UNIVERSITY OF PERNAMBUCO   (Brazil)

^c UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; PARAMETERIZATION; SYSTEMS ANALYSIS;

DESCRIBING SYSTEMS; HEALTHINESS; SYNCHRONOUS THEORIES; TIME-SLOTS; UTP THEORIES;

INFORMATION THEORY;

EID: 38149027650     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73210-5_5     Document Type: Conference Paper

References (21)

1. Barnes, J.E.: A Mathematical Theory of Synchronous Communication. Technical Monograph PRG-112, Oxford University Computing Laboratory Programming Research Group, Hilary Term (1993)
2. Berry, G., Gonthier, G.: The ESTEREL synchronous programming language: design, semantics, implementation. Science of Computer Programming 19, 87-152 (1992)
3. Butterfield, A., Woodcock, J.: Semantic domains for handel-C. Electr. Notes Theor. Comput. Sci, vol. 74 (2002)
4. Butterfield, A., Woodcock, J.: prialt in Handel-C: an operational semantics. International Journal on Software Tools for Technology Transfer (STTT) 7(3), 248-267 (2005)
5. Celoxica Ltd. Handel-C Language Reference Manual, v3.0, (2002) URL: www.celoxica.com
6. Chen, Y.: Generic composition. Formal Asp. Comput 14(2), 108-122 (2002)
7. Chen, Y.: Hierarchical organisation of predicate-semantic models. In: Dunne, S., Stoddart, B. (eds.) UTP 2006. LNCS, vol. 4010, pp. 155-172. Springer, Heidelberg (2006)
8. Melham, T., Grundy, J., O'Leary, J.: A reflective functional language for hardware design and theorem proving. Journal of Functional Programming 16(2), 157-196 (2006)
9. Hoare, CA.R., He, J.: Unifying Theories of Programming. Series in Computer Science. Prentice-Hall, Englewood Cliffs (1998)
10. Jifeng, H., Page, I., Bowen, J.: Towards a provably correct hardware implementation of Occam. In: Milne, G.J., Pierre, L. (eds.) CHARME 1993. LNCS, vol. 683, pp. 214-225. Springer, Heidelberg (1993) IFIP WG10.2
11. Hoare, C.A.R.: Communicating Sequential Processes. Intl. Series in Computer Science. Prentice-Hall, Englewood Cliffs (1985)
12. Hoare, C.A.R.: Programs are predicates. In: Proc. of a discussion meeting of the Royal Society of London on Mathematical logic and programming languages, Upper Saddle River, NJ, USA, pp. 141-155. Prentice-Hall, Inc, Englewood Cliffs (1985)
13. Page, I., Luk, W.: Compiling Occam into field-programmable gate arrays. In: Moore, W., Luk, W. (eds.) FPGAs, Oxford Workshop on Field Programmable Logic and Applications, 15 Harcourt Way, Abingdon OX14 1NV, UK, pp. 271-283 Abingdon EE&CS Books (1991)
14. Roscoe, A.W.: The Theory and Practice of Concurrency, international series in computer science. Prentice-Hall, Englewood Cliffs (1997)
15. Schneider, S.: Concurrent and Real-time Systems -The CSP Approach. Wiley, Chichester (2000)
16. Sherif, A., He, J.: Towards a time model for circus. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 613-624. Springer, Heidelberg (2002)
17. Sherif, A.: A Framework for Specification and Validation of Real Time Systems using Circus Action. Ph.d. thesis, Universidade Federale de Pernambuco, Recife, Brazil (2006)
18. Spivey,: The Z Notation: A Reference Manual. Prentice Hall, Englewood Cliffs (1987)
19. Woodcock, J.C.P., Cavalcanti, A.L.C.: A Concurrent Language for Refinement. In: Butterfield, A., Pahl, C. (eds.) IWFM'01: 5th Irish Workshop in Formal Methods, Dublin, Ireland, July 2001. BCS Electronic Workshops in Computing (2001)
20. Woodcock, J., Cavalcanti, A.: Circus: a concurrent refinement language. Technical report, University of Kent at Canterbury (October 2001)
21. Woodcock, J., Cavalcanti, A.: The semantics of circus. In: ZB, pp. 184-203 (2002)