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. Department of Computer Science [CS]. CWI. |