Optimistic Parallelization of Communicating Sequential Processes.

David F. Bacon, Robert E. Strom

Browse the full PPoPP paper archive.