Invariants in process algebra with data / M.A. Bezem, J.F. Groote
| rdfs:label | "Invariants in process algebra with data / M.A. Bezem, J.F. Groote" |
| schema:name | "Invariants in process algebra with data" |
| schema:author | Logic Group (Utrecht) |
| Bezem, Marcus Aloysius (1956-) | |
| schema:contributor | Groote, Jan Friso (1965-) |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
http:/ |
"1993" |
| schema:about | procesalgebra |
|
schema:in |
"en" |
|
schema:is |
Logic Group preprint series / University of Utrecht, Department of Philosophy |
| schema:isbn | "9039301794" |
|
schema:number |
15 |
| schema:publication |
<https:/ |