1990
Contractions in comparing concurrency semantics
Publication
Publication
Theoretical Computer Science , Volume 76 - Issue 2-3 p. 179- 222
Additional Metadata | |
---|---|
, | |
elsevier | |
Theoretical Computer Science | |
Organisation | Computer Security |
Kok, J., & Rutten, J. (1990). Contractions in comparing concurrency semantics. Theoretical Computer Science, 76(2-3), 179–222. |