Transaction processing primitives and CSP (Q3766821)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Transaction processing primitives and CSP |
scientific article |
Statements
Transaction processing primitives and CSP (English)
0 references
1987
0 references
Communicating Sequential Processes
0 references
observable events
0 references
concurrency
0 references
multiple-tasking system
0 references
