,
elsevier
Theoretical Computer Science

de Bakker, J., & Warmerdam, J. H. A. (1991). Four domains for concurrency. Theoretical Computer Science, 90(1), 127–149.