Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL.

Rivi Sherman, Amir Pnueli, David Harel

Browse the full POPL paper archive.