Computation paths logic: An expressive, yet elementary, process logic (Q4571972)
From MaRDI portal
scientific article; zbMATH DE number 6898395
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computation paths logic: An expressive, yet elementary, process logic |
scientific article; zbMATH DE number 6898395 |
Statements
Computation paths logic: An expressive, yet elementary, process logic (English)
0 references
4 July 2018
0 references
