An Operational Semantics for the Execution of PLEX in a Shared Memory Architecture (2005)

by J Erikson