Acceptances, behaviours and infinite activity in CSPP

Concurrent Systems Engineering Series

Volumn 60, Issue , 2002, Pages 17-38

  Lawrence, Adrian E ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

Concurrency; CSP; CSPP; Denotational semantics; Formal methods; Hardware compilation; Occam; P priority; Parallel systems; Priority

Indexed keywords

ALGEBRA; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; MATHEMATICAL PROGRAMMING;

COMMUNICATING SEQUENTIAL PROCESSES (CSP);

SEMANTICS;

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

References (32)

1. C.A.R.Hoare. Communicating sequential processes. Communications of the ACM, 21:666-677, 1978.
2. Per Brinch Hansen, editor. The Origin of Concurrent Programming. Springer-Verlag, 2002.
3. C.A.R Hoare. Communicating Sequential Processes. Prentice Hall International, 1985.
4. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
5. Inmos Limited. occam 2 Reference Manual, 1988. Document 72 occ 45 01.
6. M.H. Goldsmith, A.W. Roscoe, and B.G.O. Scott. Denotational semantics for occam 2, part 1. Transputer Communications, 1:65-91, 1993.
7. M.H. Goldsmith, A.W. Roscoe, and B.G.O. Scott. Denotational semantics for occam 2, part 2. Transputer Communications, 2:25-67, 1994.
8. B.M.Cook and R.M.A.Peel. Occam on Field Programmable Gate Arrays - Steps towards the para-PC. In Barry Cook, editor, Proceedings of WoTUG-22: Architectures, Languages and Techniques for Concurrent Systems, volume 57 of Concurrent Systems Engineering, pages 211-228, Amsterdam, April 1999. IOS Press.
9. R.M.A.Peel and B.M.Cook. Occam on Field Programmable Gate Arrays - Optimizing for Performance. In P.H.Welch and A.W.P.Bakkers, editors, Communicating Process Architectures, Proceedings of WoTUG 23, volume 58 of Concurrent Systems Engineering, pages 227-238. World occam and Transputer User Group (WoTUG), IOS Press, Netherlands, September 2000.
10. I Page and W Luk. Compiling occam into fpgas. In Will R Moore and Wayne Luk, editors, FPGAs. Abingdon EE&CS Books, 1991.
11. A.E. Lawrence. HARP (TRAMple) manual. Volume 1. User Manual for HARP1 and HARP2. Oxford University, 1992-95.
12. Adrian Lawrence & Andrew Kay & Wayne Luk & Toshio Nomura & Ian Page. Using reconfigurable hardware to speed up product development and performance. In JFIT Conference. Oxford University, 1994.
13. A.E. Lawrence. Extending CSP. In P. H. Welch & A. P. Bakkers, editor, Proceedings of WoTUG 21: Architectures, Languages and Patterns, volume 52 of Concurrent Systems Engineering, pages 111-131, Amsterdam, April 1998. WoTUG, IOS Press.
14. A. E. Lawrence. Hard and soft priority in CSP. In Barry M. Cook, editor, Architectures, Languages and Techniques for Concurrent Systems., volume 57 of Concurrent Systems Engineering, pages 169-195, Amsterdam, Apr 1999. WoTUG, IOS Press.
15. A. E. Lawrence. CSPP and event priority: In Communicating Process Architectures - 2001, Concurrent Systems Engineering, pages 67-92, Amsterdam, Sept 2001. IOS Press.
16. A. E. Lawrence. Successes and Failures: Extending CSP. In Communicating Process Architectures - 2001, Concurrent Systems Engineering, pages 49-65, Amsterdam, Sept 2001. IOS Press.
17. Oxford University Computing Laboratory. Two Papers on CSP, number PRG-67 in PRG Technical Monographs, July 1988.
18. 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.
19. A.W. Roscoe. An alternative order for the failures model. In Two Papers on CSP [17].
20. A.W. Roscoe. Unbounded nondeterminism in CSP. In Two Papers on CSP [17].
21. C.J.Fidge. A formal definition of priority in CSP. ACM Transactions on Programming Languages and Systems, 15(4):681-705, September 1993.
22. Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled. Model Checking. MIT Press, 1999.
23. Formal Systems (Europe) Ltd, 3, Alfred Street, Oxford OX1 4EH UK. FDR2 User Manual, May 2000.
24. Jeff Magee & Jeff Kramer. Concurrency: State Models & Java Programs. John Wiley, 1999.
25. Jeremy Malcolm Randolph Martin. The Design and Construction of Deadlock-Free Concurrent Systems. PhD thesis, University of Buckingham, 1996.
26. A.W. Roscoe, editor. A Classical Mind. Prentice Hall Series in Computer Science. Prentice Hall, 1994. Essays in Honour of C.A.R. Hoare.
27. Gavin Lowe. Prioritized and probabilistic models of Timed CSP. Technical Report PRG-TR-24-91, OUCL, 1991.
28. Gavin Lowe. Prioritized and probabilistic models of timed CSP. Theoretical Computer Science, 1994. Special Issue on Mathematical Foundations of Programming Semantics conference.
29. Carl A. Gunter. Semantics of Programming Languages. The MIT Press, 1992.
30. A.E.Lawrence. HCSP: Extending CSP for Codesign and Shared Memory. In P.H.Welch and A.P.Bakkers, editors, Proceedings of WoTUG-21: Architectures, Languages and Patterns for Parallel and Distributed Applications, volume 52 of Concurrent Systems Engineering, pages 133-156, Amsterdam, April 1998. IOS Press.
31. A. E. Lawrence. Infinite traces, Acceptances and CSPP. In Communicating Process Architectures - 2001, Concurrent Systems Engineering, pages 93-102, Amsterdam, Sept 2001. IOS Press.
32. Andrew Butterfield and Jim Woodcock. Semantics of prialt in Handel-C. In Communicating Process Architectures - 2002, Concurrent Systems Engineering, pages 1-16, Amsterdam, Sept 2002. IOS Press.