Composable specifications for structured shared-memory communication.

Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman

Browse the full OOPSLA paper archive.