A calculus of total correctness for communicating processes (Q1164413)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A calculus of total correctness for communicating processes |
scientific article |
Statements
A calculus of total correctness for communicating processes (English)
0 references
1981
0 references
named channels
0 references
assertion
0 references
intended behaviour
0 references
simple recursion
0 references
disjoint parallelism
0 references
channel renaming
0 references
process chaining
0 references
nondeterminism
0 references
conditional
0 references
alternation
0 references
mutual recursion
0 references
buffering protocols
0 references
