Partial Order Models of Concurrency and the Computation of Functions

Haim Gaifman, Vaughan R. Pratt

Browse the full LICS paper archive.