A Semantic Model for Parallel Systems with Scheduling.

Ellis S. Cohen

Browse the full POPL paper archive.