Rivi Sherman, Amir Pnueli, David Harel. Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL. SIAM Journal on Computing, 13(4):825-839, 1984.
@article{ShermanPH84,
title = {Is the Interesting Part of Process Logic Uninteresting? A Translation from PL to PDL},
author = {Rivi Sherman and Amir Pnueli and David Harel},
year = {1984},
tags = {translation, logic},
researchr = {https://researchr.org/publication/ShermanPH84},
cites = {0},
citedby = {0},
journal = {SIAM Journal on Computing},
volume = {13},
number = {4},
pages = {825-839},
}