J. W. de Bakker J. H. A. Warmerdam Four Domains for Concurrency. 127-149 1991 90 Theor. Comput. Sci. 1 db/journals/tcs/tcs90.html#BakkerW91