Denotational Semantics of Concurrency

J. W. de Bakker, Jeffery I. Zucker

Browse the full STOC paper archive.