Designs with Angelic Nondeterminism.

Pedro Ribeiro, Ana Cavalcanti

Browse the full TASE paper archive.