Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes.

Karel Culk

Browse the full POPL paper archive.