HCSP: Imperative state and true concurrency

Concurrent Systems Engineering Series

Volumn 60, Issue , 2002, Pages 39-55

  Lawrence, Adrian E ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

CSP; CSPP; Denotational semantics; Formal methods; Hardware compilation; HCSP; Parallel systems; Specification; True concurrency; VLSI design

Indexed keywords

COMPUTER HARDWARE; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; CONCURRENCY CONTROL; PARALLEL PROCESSING SYSTEMS; VLSI CIRCUITS;

TRUE CONCURRENCY;

SEMANTICS;

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

References (9)

1. 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.
2. A.E. Lawrence. HCSP: Extending CSP for codesign and shared memory. In Proceedings of WoTUG 21: Architectures, Languages and Patterns, pages 133-156. WoTUG, 1998.
3. Leslie Lamport. The temporal logic of actions. ACM Transactions on Programming Languages and Systems, 16(3):872-923, May 1994.
4. M.H. Goldsmith, A.W. Roscoe, and B.G.O. Scott. Denotational semantics for occam 2, part 1. Transputer Communications, 1:65-91, 1993.
5. M.H. Goldsmith, A.W. Roscoe, and B.G.O. Scott. Denotational semantics for occam 2, part 2. Transputer Communications, 2:25-67, 1994.
6. Peter T. Breuer, Carlos Delgado Kloss, Andrés Marín López, and Natividad Martínez Madrid. A refinement calculus for the synthesis of verified hardware descriptions in VHDL. ACM Transactions on Programming Languages and Systems, 19(4):586-616, July 1997.
7. A. E. Lawrence. Infinite traces, Acceptances and CSPP. In Communicating Process Architectures - 2001, Concurrent Systems Engineering, pages 93-102, Amsterdam, Sept 2001. IOS Press.
8. A.E. Lawrence. Extending CSP - even further. Communicating Process Architectures-2000, 2000. WoTUG.
9. 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.