CSP extended: Imperative state and true concurrency

IEE Proceedings: Software

Volumn 150, Issue 2 SPEC, 2003, Pages 61-69

  Lawrence, A E ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; CONCURRENCY CONTROL; MICROPROCESSOR CHIPS; PROGRAM COMPILERS;

HARDWARE COMPILATION;

SEMANTICS;

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

References (10)

1. LAWRENCE, A.E.: 'Extending CSP: denotational semantics', IEE Proc., Softw., 2003, 150, pp. 51-60
2. LAWRENCE, A.E.: 'Acceptances, behaviours and infinite activity in CSPP'. Proceedings of Communicating Process Architectures - 2002, Amsterdam, Sept. 2002, pp. 17-38
3. LAMPORT, L.: 'The temporal logic of actions', ACM Trans. Program. Lang. Syst., 1994, 16, (3), pp. 872-923
4. LAWRENCE, A.E.: 'HCSP: Extending CSP for codesign and shared memory. Proceedings of WoTUG 21: Architectures, Languages and Patterns, 1998, pp. 133-156
5. GOLDSMITH, M.H., ROSCOE, A.W., and SCOTT, B.G.O.: 'Denotational semantics for occam 2, part 1', Transput. Commun., 1993, 1, (2), pp. 65-91
6. GOLDSMITH, M.H., ROSCOE, A.W., and SCOTT, B.G.O.: 'Denotational semantics for Occam 2, part 2', Transput. Commun., 1994, 2, (1), pp. 25-67
7. BREUER, P.T., KLOSS, C.D., LÓPEZ, A.M., and MADRID, N.M.: 'A refinement calculus for the synthesis of verified hardware descriptions in VHDL', ACM Trans. Program. Lang. Syst., 1997, 19, (4), pp. 586-616
8. LAWRENCE, A.E.: 'Infinite traces, acceptances and CSPP'. Proceedings of Communicating process architectures - 2001, Amsterdam, Sept. 2001, pp. 93-102
9. LAWRENCE, A.E.: 'Extending CSP - even further'. Presented at Communicating process architectures - 2000, 2000
10. BUTTERFIELD, A., and WOODCOCK, J.: 'Semantics of prialt in Handel-C'. Proceedings of Communicating process architectures -2002. Amsterdam, Sept. 2002, pp. 1-16