Rivi Sherman, Amir Pnueli, David Harel
Is the Interesting Part of Process Logic Uninteresting — A Translation from PL to PDL
POPL, 1982.
@inproceedings{POPL-1982-ShermanPH,
author = "Rivi Sherman and Amir Pnueli and David Harel",
booktitle = "{Conference Record of the Ninth Annual Symposium on Principles of Programming Languages}",
cdrom = "POPL/00001560.PDF",
doi = "10.1145/582153.582189",
editor = "Richard A. DeMillo",
isbn = "0-89791-065-6",
pages = "347--360",
publisher = "{ACM Press}",
title = "{Is the Interesting Part of Process Logic Uninteresting — A Translation from PL to PDL}",
year = 1982,
}