Project Proposal
:
Parallel Nondeterminator
He Yuxiong