Extending CSP: Denotational semantics

IEE Proceedings: Software

Volumn 150, Issue 2 SPEC, 2003, Pages 51-60

  Lawrence, A E ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER HARDWARE; PROBLEM SOLVING; REAL TIME SYSTEMS; SEMANTICS; SEQUENTIAL CIRCUITS;

PROCESS ALGEBRA;

DIGITAL SIGNAL PROCESSING;

EID: 0038222512     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20030128     Document Type: Conference Paper

References (20)

1. HOARE, C.: 'Communicating sequential processes', Commun. ACM, 1978, 21, (8), pp. 666-677
2. BRINCH HANSEN, P. (Ed.): The origin of concurrent programming' (Springer-Verlag, 2002)
3. HOARE, C.: 'Communicating sequential processes' (Prentice Hall International, 1985)
4. ROSCOE, A.: 'The theory practice of concurrency' (Prentice Hall, 1998)
5. LAWRENCE, A.: 'HARP (TRAMple) manual, Vol. 1. User Manual for HARP1 and HARP2' (Oxford University, 1992-1995)
6. PAGE, A.L..A.K..WL..T.N..I.: 'Using reconfigurable hardware to speed up product development and performance'. JFIT Conference, 1994, Oxford University, UK
7. FIDGE, C.J.: 'A formal definition of priority in CSP', ACM Trans. Program, Lang. Syst., 1993, 15, (4), pp. 681-705
8. Oxford University Computing Laboratory: 'Two papers on CSP'. PRG-67, PRO Technical Monographs, July 1988
9. ROSCOE, A.: 'An alternative order for the failures model'. In 'Two papers on CSP'. PRO Technical Monographs, PRG-67, July 1988
10. ROSCOE, A.: 'Unbounded nondetenninism in CSP'. In 'Two papers on CSP'. PRO Technical Monographs, PRG-67, July 1988
11. LAWRENCE, A.E.: 'HCSP, imperative state and true concurrency, Communicating process architectures - 2002' (IOS Press, Amsterdam, 2002) pp. 39-55, Concurrent Systems Engineering
12. LOWE, G.: 'Prioritized and probabilistic models of timed CSP', Theor. Comput. Sci., 1994, Special Issue on Mathematical Foundations of Programming Semantics Conference
13. GUNTER, C.A.: 'Semantics of programming languages' (The MIT Press, 1992)
14. LAWRENCE, A.E.: 'HCSP: Extending CSP for codesign and shared memory', in BARKERS, P.H.W..A.P. (Ed.): 'Proceedings of WoTUG-21: Architectures, Languages and Patterns for Parallel and Distributed Applications', Concurrent Systems Engineering, Amsterdam, 1998, Vol. 52 (IOS Press), pp. 133-156
15. LAWRENCE, A.E.: 'CSPP and event priority'. In 'Communicating process architectures - 2001' (IOS Press, Amsterdam, 2001) pp. 67-92, Concurrent Systems Engineering
16. LAWRENCE, A.E.: 'Successes and failures: Extending CSP'. In 'Communicating process architectures - 2001' (IOS Press, Amsterdam, 2001) pp. 49-65, Concurrent Systems Engineering
17. LAWRENCE, A.E.: 'Infinite traces, acceptances and CSPP'. In 'Communicating process architectures - 2001 ' (IOS Press, Amsterdam, 2001) pp. 93-102, Concurrent Systems Engineering
18. BUTTERFIELD, A., and WOODCOCK, J.: 'Semantics of prialt in Handel-C'. In 'Communicating process architectures - 2002' (IOS Press, Amsterdam, 2002) pp. 1-16, Concurrent Systems Engineering
19. SCHNEIDER, S.: 'Concurrent and real-time systems' (John Wiley & Sons, Ltd., 2000)
20. LAWRENCE, A.E.: 'Acceptances, behaviours and infinite activity in CSPP'. In 'Communicating process architectures - 2002' (IOS Press, Amsterdam, 2002) pp. 17-38, Concurrent Systems Engineering