2006
What is algebraic in process theory?
Publication
Publication
Electronic Notes in Theoretical Computer Science , Volume 126 p. 227- 231
Presented at the
International Workshop on Parallel and Distributed Methods in Verification
| Additional Metadata | |
|---|---|
| Elsevier | |
| Electronic Notes in Theoretical Computer Science | |
| International Workshop on Parallel and Distributed Methods in Verification | |
| Organisation | Specification and Analysis of Embedded Systems |
|
Luttik, B. (2006). What is algebraic in process theory?. Electronic Notes in Theoretical Computer Science, 126, 227–231. |
|
| See Also |
|---|
inProceedings
|
article
|
inProceedings
|
article
|