On implementations and semantics of a concurrent programming language (1997)

by P SEWELL
Venue:In Proc. 8th International Conference on Concurrency Theory (CONCUR), LNCS