1990
Metric pomset semantics for a concurrent language with recursion
Publication
Publication
| Additional Metadata | |
|---|---|
| CWI | |
| Department of Computer Science [CS] ; CS-R 9033 | |
|
de Bakker, J.& Warmerdam, J. H. A. (1990). Metric pomset semantics for a concurrent language with recursion. In Department of Computer Science [CS] (R 9033). CWI. |
|