On Infinite Computations in Denotational Semantics

J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker. On Infinite Computations in Denotational Semantics. Theoretical Computer Science, 26:53-82, 1983.

@article{BakkerMZ83,
  title = {On Infinite Computations in Denotational Semantics},
  author = {J. W. de Bakker and John-Jules Ch. Meyer and Jeffery I. Zucker},
  year = {1983},
  tags = {semantics, denotational semantics},
  researchr = {https://researchr.org/publication/BakkerMZ83},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {26},
  pages = {53-82},
}