H ? « ‹ ← → › »

Language peer sets for CSP:
United Kingdom↑
United Kingdom/1978↑
Designed 1978 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑

CSP(ID:795/csp001)

Communicating Sequential Processes 

alternate simple view
Country: United Kingdom
Designed 1978
Published: 1978

for Communicating Sequential Processes.

Hoare, Oxford, 1978.

A notation for concurrency based on synchronous message passing and selective communications. cobegin/coend.

People:
Structures:
Related languages
CSP → Amber   Influence
CSP → CCSP   Evolution of
CSP → Cospol   Extension of
CSP → CSP + T   Augmentation of
CSP → CSP/80   Extension of
CSP → CSP/80   Evolution of
CSP → CSP-OZ   Incorporated some features of
CSP → CSP-S   Extension of
CSP → Eclectic CSP   Extension of
CSP → ECSP   Extension of
CSP → Gamma   Implementation
CSP → GCP   Based on
CSP → LIMBO   Influence
CSP → Occam   Influence
CSP → Pascal+CSP   Extension of
CSP → RT-Z   Incorporated features of
CSP → SPI   Based on
CSP → Squeak   Based on
CSP → Tangram   Based on
CSP → Timed CSP   Augmentation of
References:
  • Hoare, C A R (1978) Hoare, C A R "Communicating Sequential Processes", pp666-677
          in [ACM] (1978) [ACM] CACM 21(08) (August 1978).
  • Hoare, C A R (1978) Hoare, C A R "Some Properties of Predicate Transformers" pp461-480
          in [ACM] (1978) [ACM] JACM 25(03)March 1978
  • Barnes, J. G. P. (1979) Barnes, J. G. P. "The development of tasking primitives in high level languages" in Real-time data handling and process control. Proc. first European symposium (West Berlin, Oct. 23-25, 1979), North-Holland Publishing Co., Amsterdam, 1980, pp235-241
          in [ACM] (1978) [ACM] JACM 25(03)March 1978
  • Apt, Krzysztof R.; de Roever Nissim and Willem P. (1980) Apt, Krzysztof R.; de Roever Nissim and Willem P. "A Proof System for Communicating Sequential Processes" Abstract
          in (1980) TOPLAS 2(3) July 1980
  • C A R Hoare, (1981) C A R Hoare, "A Calculus for Total Correctness of Communicating Processes" Science of Computer Programming, 1, (1981), pp. 49-72
          in (1980) TOPLAS 2(3) July 1980
  • Hoare, C A R (1981) Hoare, C A R "A Model for Communicating Sequential Processes" Programming Research Group Technical Monograph PRG-22 June 1981 Abstract
          in (1980) TOPLAS 2(3) July 1980
  • Wetzel, G. (1981) Wetzel, G. F. review of Barnes 1981 (CSP, Green, Modula)
          in (1980) TOPLAS 2(3) July 1980
  • Zhou Chao Chen and C A R Hoare (1981) Zhou Chao Chen and C A R Hoare "Partial Correctness of Communicating Processes and Protocols" Programming Research Group Technical Monograph PRG-20 May 1981 Abstract Online copy
          in (1980) TOPLAS 2(3) July 1980
  • Zhou Chao Chen (1982) Zhou Chao Chen "The Consistency of the Calculus of Total Correctness for Communicating Processes" Programming Research Group Technical Monograph PRG-26 February 1982 Abstract Online copy
          in (1980) TOPLAS 2(3) July 1980
  • E R Olderog and C A R Hoare (1984) E R Olderog and C A R Hoare "Specification-Oriented Semantics for Communicating Processes" Programming Research Group Technical Monograph PRG-37 February 1984 Abstract Online copy
          in (1980) TOPLAS 2(3) July 1980
  • Castelli, G.; De Cindio, F.; De Michelis, G.; Simo (1985) Castelli, G.; De Cindio, F.; De Michelis, G.; Simone, C. "An overview of the GCP programming language" in Proceedings of the 1985 ACM SIGSMALL symposium on small systems May 1985 Abstract Extract: Intro
          in (1980) TOPLAS 2(3) July 1980
  • Hoare, A.R. (1985) Hoare, A.R. "Communicating Sequential Processes", P-H 1985.
          in (1980) TOPLAS 2(3) July 1980
  • Hull, MEC (1986) Hull, MEC "Implementations of the CSP notation for concurrent systems" pp500-505 Abstract
          in (1986) The Computer Journal 29(6) 1986
  • Cox, Russ (2000) Cox, Russ "Overview of Plan 9 threads" Extract: CSP
          in (1986) The Computer Journal 29(6) 1986
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder