The parallel composition of uniform processes with data (Q5958772)
From MaRDI portal
scientific article; zbMATH DE number 1715817
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The parallel composition of uniform processes with data |
scientific article; zbMATH DE number 1715817 |
Statements
The parallel composition of uniform processes with data (English)
0 references
3 March 2002
0 references
parallelism
0 references
process algebra
0 references
CRL
0 references
linear process expressions
0 references
Cones and foci method
0 references
