1984
DOI: 10.1145/828.833
|View full text |Cite
|
Sign up to set email alerts
|

A Theory of Communicating Sequential Processes

Abstract: A mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved. The possibilities of nondetermimsm are fully taken into account.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

2
498
0
4

Year Published

1986
1986
2008
2008

Publication Types

Select...
4
3
2

Relationship

0
9

Authors

Journals

citations
Cited by 953 publications
(504 citation statements)
references
References 3 publications
2
498
0
4
Order By: Relevance
“…The failures of a process are the pairs (s, X) where s is a sequence of external actions of the process and X is a set of actions the process can refuse after executing s. We do not want a treatment of divergence 5 as radical as the one in [BHR84] [Mai86], so we add explicit divergence points to our semantics [Old85]. A divergence point is a pair (s, ↑) where s is a sequence of external actions and ↑ is a special symbol indicating that the process can diverge after executing the sequence s. So, for a process defined on the alphabet Σ the semantic domain will be…”
Section: A Process Theorymentioning
confidence: 99%
“…The failures of a process are the pairs (s, X) where s is a sequence of external actions of the process and X is a set of actions the process can refuse after executing s. We do not want a treatment of divergence 5 as radical as the one in [BHR84] [Mai86], so we add explicit divergence points to our semantics [Old85]. A divergence point is a pair (s, ↑) where s is a sequence of external actions and ↑ is a special symbol indicating that the process can diverge after executing the sequence s. So, for a process defined on the alphabet Σ the semantic domain will be…”
Section: A Process Theorymentioning
confidence: 99%
“…In this paper, we only look at bisimulation semantics (for some other process semantics such as failure semantics, see Section 9). For the question to make sense, we have to transpose the concept of a context-free grammar to the setting of process algebra, as we collectively call the algebraic approaches to process semantics that are exemplified by the work of and of Hoare [9,19] …”
Section: I?ltroducfionmentioning
confidence: 99%
“…Two important families of equivalences are those that employ the notion of bisimulatio, [18,20], and those that are induced by a formalised notion of testing, the so-called testing equivalences [9,14,6]. Bisimulations provide the finer equivalences that keep track of the branching structure of behaviours, and have a rather elegant proof theory based of the construction of bisimulation relations.…”
Section: Introductionmentioning
confidence: 99%
“…6 we give an alternative characterisation of the should pre-order, based on a generalisation of the concept of failure pairs (cf. [6]). Finally, in Sect.…”
Section: Introductionmentioning
confidence: 99%