Toward a theory of maximally concurrent programs (shortened version).

Rajeev Joshi, Jayadev Misra

Browse the full PODC paper archive.