Uploads
Contact
/
Login
Upload
Search Results for 'Nondeterminism'
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism Konstantinos Mamouras
tatyana-admore
Angelic Nondeterminism and Unifying Theories of Programming Ana Cavalcanti and Jim Woodcock
min-jolicoeur
cs3102: Theory of Computation
phoebe-click
Deterministic Galois Ondemand Portable and Parameterless Donald Nguyen Andrew Lenharth
test
Angelic Nondeterminism in the Unifying Theories of Programming Ana Cavalcanti Jim Woodcock
tatiana-dople