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

Rivi Sherman, Amir Pnueli, David Harel. Is the Interesting Part of Process Logic Uninteresting - A Translation from PL to PDL. In POPL. pages 347-360, 1982.

Abstract

Abstract is missing.