Premium
CSP‐i: An implementation of communicating sequential processes
Author(s) -
Wrench K. L.
Publication year - 1988
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380180605
Subject(s) - communicating sequential processes , computer science , programming language , concurrency , notation , slicing , arithmetic , semantics (computer science) , world wide web , operational semantics , mathematics
Hoare's proposal for a notation for communicating sequential processes has led to the development of a number of concurrent languages based on the concept of message passing. CSP‐i is a new language which reflects the design objectives of the original CSP notation more faithfully than most of these other languages. This paper describes the development of the language, as well as an implementation for a single processor, with simulated time‐slicing providing pseudo‐concurrency.