A calculus of total correctness for communicating processes (Q1164413)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A calculus of total correctness for communicating processes |
scientific article; zbMATH DE number 3763276
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A calculus of total correctness for communicating processes |
scientific article; zbMATH DE number 3763276 |
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
