A simple language supporting angelic nondeterminism and parallel composition, in (1991)

by M W Mislove, F J Oles
Venue:Schmidt (Eds.), Mathematical Foundations of Programming Semantics, 7th Internat. Conf