A Simple Language Supporting Angelic Nondeterminism and Parallel Composition.

Michael W. Mislove, Frank J. Oles

Browse the full MFPS paper archive.