Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (Q5429310)
From MaRDI portal
scientific article; zbMATH DE number 5216200
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS |
scientific article; zbMATH DE number 5216200 |
Statements
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (English)
0 references
29 November 2007
0 references
