Full Abstraction for a Shared-Variable Parallel Language

• 1 June 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 127  (2) , 145-163
• https://doi.org/10.1006/inco.1996.0056

Abstract

Keywords

• IN EACH CASE ACHIEVING FULL ABSTRACTION WITH RESPECT TO AN APPROPRIATE NOTION OF PROGRAM BEHAVIOR.
• PUTATION
• PARALLEL PROGRAMMING LANGUAGE