Full Abstraction for a Shared Variable Parallel Language

Full Abstraction for a Shared Variable Parallel Language Stephen D. Brookes 98-109 conf/lics/LICS8 1993 LICS db/conf/lics/lics93.html#Brooks93