Four domains for concurrency (1991)

by J W de Bakker, J H A Warmerdam
Venue:Theoretical Computer Science