Semantics of Nondeterministic and Noncontinuous Constructs

Manfred Broy, Rupert Gnatz, Martin Wirsing. Semantics of Nondeterministic and Noncontinuous Constructs. In Friedrich L. Bauer, Manfred Broy, editors, Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany. Volume 69 of Lecture Notes in Computer Science, pages 553-592, Springer, 1978.

@inproceedings{BroyGW78,
  title = {Semantics of Nondeterministic and Noncontinuous Constructs},
  author = {Manfred Broy and Rupert Gnatz and Martin Wirsing},
  year = {1978},
  tags = {semantics},
  researchr = {https://researchr.org/publication/BroyGW78},
  cites = {0},
  citedby = {0},
  pages = {553-592},
  booktitle = {Program Construction, International Summer School, July 26 - August 6, 1978, Marktoberdorf, germany},
  editor = {Friedrich L. Bauer and Manfred Broy},
  volume = {69},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-09251-X},
}