,
elsevier
Theoretical Computer Science
Computer Security

Kok, J., & Rutten, J. (1990). Contractions in comparing concurrency semantics. Theoretical Computer Science, 76(2-3), 179–222.