Guarded Commands, Nondeterminacy and Formal Derivation of Programs - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Edsger W. Dijkstra. Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Communications of the ACM, 18(8):453-457, 1975.

@article{Dijkstra75:1,
  title = {Guarded Commands, Nondeterminacy and Formal Derivation of Programs},
  author = {Edsger W. Dijkstra},
  year = {1975},
  researchr = {https://researchr.org/publication/Dijkstra75%3A1},
  cites = {0},
  citedby = {0},
  journal = {Communications of the ACM},
  volume = {18},
  number = {8},
  pages = {453-457},
}

runs on WebDSL