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

researchr

You are not signed in
Sign in
Sign up

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.

@inproceedings{ShermanPH82,
  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 = {1982},
  tags = {translation, logic},
  researchr = {https://researchr.org/publication/ShermanPH82},
  cites = {0},
  citedby = {0},
  pages = {347-360},
  booktitle = {POPL},
}

runs on WebDSL