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

by Stephen Brookes, Shai Geva
Venue:In Semantics for Concurrency, Leicester