Underspecification for a simple process algebra of recursive processes. (Q5958781)
From MaRDI portal
scientific article; zbMATH DE number 1715826
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Underspecification for a simple process algebra of recursive processes. |
scientific article; zbMATH DE number 1715826 |
Statements
Underspecification for a simple process algebra of recursive processes. (English)
0 references
3 March 2002
0 references
Specification
0 references
Underspecification
0 references
Semantics
0 references
Refinement
0 references
