Full Abstraction for a Simple Parallel Programming Language.

Matthew Hennessy, Gordon D. Plotkin

Browse the full MFCS paper archive.