Semantics of prialt in Handel-C™

Concurrent Systems Engineering Series

Volumn 60, Issue , 2002, Pages 1-16

  Butterfield, Andrew ^a   Woodcock, Jim ^b  

^a TRINITY COLLEGE DUBLIN   (Ireland)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMMUNICATION CHANNELS (INFORMATION THEORY); SYNCHRONIZATION;

CHANNEL COMMUNICATION;

SEMANTICS;

EID: 0037002318     PISSN: 13837575     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (20)

1. Celoxica Ltd. Handel-C Language Reference Manual, v3.0, 2002.
2. A. W. Roscoe. Denotational Semantics for occam. In S. D. Brookes, A. W. Roscoe, and G. Winskel, editors, Seminar on Concurrency, volume 197 of LNCS. Carnegie-Mellon University, Pittsburgh, PA, Springer-Verlag, July 1984.
3. A. W. Roscoe and C. A. R. Hoare. The laws of occam programming. Technical Monograph PRG-53, Oxford University Computing Laboratory Programming Research Group, February 1986.
4. A. E. Lawrence. Acceptances, Behaviours and infinite activity in CSPP. In Communicating Process Architectures - 2002, Concurrent Systems Engineering, pages 17-38, Amsterdam, Sept 2002. IOS Press.
5. C.A.R. Hoare. Communicating Sequential Processes. Intl. Series in Computer Science. Prentice Hall, 1990.
6. I. Page and W. Luk. Compiling Occam into field-programmable gate arrays. In W. Moore and W. Luk, editors, FPGAs, Oxford Workshop on Field Programmable Logic and Applications, pages 271-283. Abingdon EE&CS Books, 15 Harcourt Way, Abingdon OX14 1NV, UK, 1991.
7. M. Spivey and I. Page. How to design hardware with Handel. Technical report, Oxford University Hardware Compilation Group, December 1993.
8. J. P. Bowen, He Jifeng, and I. Page. Hardware compilation. In J. P. Bowen, editor, Towards Verified Systems, volume 2 of Real-Time Safety Critical Systems, chapter 10, pages 193-207. Elsevier, 1994.
9. Adrian Lawrence, Andrew Kay, Wayne Luk, Toshio Nomura, and Ian Page. Using reconfigurable hardware to speed up product development and performance. In Will Moore and Wayne Luk, editors, Field-Programmable Logic and Applications, pages 111-119. Springer-Verlag, Berlin, August/September 1995. Proceedings of the 5th International Workshop on Field-Programmable Logic and Applications, FPL 1995. Lecture Notes in Computer Science 975.
10. Adrian Lawrence, Andrew Kay, Wayne Luk, Toshio Nomura, and Ian Page. Using reconfigurable hardware to speed up product development and performance. In Will Moore and Wayne Luk, editors, Field-Programmable Logic and Applications, pages 111-119. Springer-Verlag, Berlin, August/September 1995. Proceedings of the 5th International Workshop on Field-Programmable Logic and Applications, FPL 1995. Lecture Notes in Computer Science 975.
11. Andrew Butterfield. Denotational semantics for prialt-free Handel-C. Technical Report TCD-CS-2001-53, Dept. of Computer Science, Trinity College, Dublin University, 2001. ftp://ftp.cs.tcd.ie/pub/tech-reports/reports.01/TCD-CS-2001-53.pdf.
12. Andrew Butterfield. Interpretative semantics for prialt-free Handel-C. Technical Report TCD-CS-2001-54, Dept. of Computer Science, Trinity College, Dublin University, 2001. ftp://ftp.cs.tcd.ie/pub/tech-reports/reports.01/TCD-CS-2001-54.pdf.
13. Mícheál Mac an Airchinnigh. Conceptual Models and Computing. PhD dissertation, University of Dublin, Trinity College, Department of Computer Science, 1990.
14. ISO/IEC. Information technology - Programming languages, their environments and system software interfaces - Vienna Development Method-Specification Language - Part 1: Base language. International Standard 13817-1, International Standards Organisation, 1996. www.iso.ch.
15. A. E. Lawrence, CSPP and event priority. In Majid Mirmehdi Alan Chalmers and Henk Muller, editors, Communicating Process Architectures 2001, Concurrent Systems Engineering, Amsterdam, September 2001. IOS Press.
16. A. E. Lawrence. HCSP: Imperative State and True Concurrency. In Communicating Process Architectures - 2002, Concurrent Systems Engineering, pages 39-55, Amsterdam, Sept 2002. IOS Press.
17. Embedded Solutions Ltd. (now Celoxica Ltd.). Handel-C Language Reference Manual, v2.1, 2000.
18. C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Series in Computer Science. Prentice Hall, 1998.
19. Jim Woodcock and Ana Cavalcanti. The Semantics of Circus. volume 2272 of LNCS. 2nd International Conference of B and Z Users, Grenoble, France, Springer, January 2002.
20. A. W. Roscoe. The Theory and Practice of Concurrency. international series in computer science. Prentice Hall, 1997.