Towards a theory of parallel algorithms on concrete data structures (1990)

by S Brookes, S Geva
Venue:In Semantics for Concurrency, Leicester