David B. Benson Concurrency and interleaving are equally fundamental. 54 1987 33 Bulletin of the EATCS db/journals/eatcs/eatcs33.html#Benson87