Insight, Inspiration and Collaboration
Citations
416 citations
104 citations
79 citations
47 citations
25 citations
References
[...]
139,059 citations
"Insight, Inspiration and Collaborat..." refers background in this paper
...There are hints of the need to reason about programs in [12] and a proposal in [35] for an approach that uses a clear notion of assertions being added to a flowchart of a program....
[...]
11,419 citations
4,752 citations
"Insight, Inspiration and Collaborat..." refers background in this paper
...Indeed it is one of the first two developed examples (the other being CCS) of what rapidly became known as a process algebra: a notation for creating algebraic terms representing the interacting behaviour of a number of distinct processes....
[...]
...Whether CSP and CCS seem similar to a reader will depend on his or her viewpoint, but certainly they are very similar when viewed from the standpoint of Imperative CSP....
[...]
...CSP is a retract of CCS....
[...]
...Indeed, in both CSP and CCS and most subsequent process algebras, there is no semantic distinction between sequential and parallel processes, and every parallel process is equivalent to a sequential one, ¿From this discussion alone the reader will appreciate that the creation of these first process algebras represented a huge intellectual step: that from a programming language to calculi that attempt to attribute meaning to patterns of communication....
[...]
...It was these constrasting decisions, of course, which led to the different choice operators of CCS [25] and CSP: the CCS “+” being the obvious operational version....
[...]
4,719 citations
"Insight, Inspiration and Collaborat..." refers background in this paper
...version of the language is essentially Dijkstra’s language of guarded commands [ 8 ] (a simple imperative language) with point-to-point communication added, so we have termed it Imperative CSP....
[...]