A Truly Concurrent Semantics for a Simple Parallel Programming Language.

Paul Gastin, Michael W. Mislove

Browse the full CSL paper archive.