Algebraic structures of directed acyclic graphs: application to concurrent calculus (Q4876370)
From MaRDI portal
scientific article; zbMATH DE number 872762
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic structures of directed acyclic graphs: application to concurrent calculus |
scientific article; zbMATH DE number 872762 |
Statements
Algebraic structures of directed acyclic graphs: application to concurrent calculus (English)
0 references
23 June 1996
0 references
dags transformations
0 references
concurrent systems
0 references
