Reasoning about Nondeterminism in Programs Byron Cook Eric Koskinen ∗ Microsoft Research Cambridge

First Page		Document Content
Date: 2013-03-31 19:01:05		Reasoning about Nondeterminism in Programs Byron Cook Eric Koskinen ∗ Microsoft Research Cambridge Add to Reading List Source URL: www.cims.nyu.edu Download Document from Source Website File Size: 288,05 KB Share Document on Facebook