Analysing ::::TM::FS::::::: a Study of Nondeterminism in Real-Time Concurrency

George M. Reed, A. W. Roscoe. Analysing ::::TM::FS::::::: a Study of Nondeterminism in Real-Time Concurrency. In Akinori Yonezawa, Takayasu Ito, editors, Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings. Volume 491 of Lecture Notes in Computer Science, pages 36-63, Springer, 1989.

@inproceedings{ReedR89,
  title = {Analysing ::::TM::FS::::::: a Study of Nondeterminism in Real-Time Concurrency},
  author = {George M. Reed and A. W. Roscoe},
  year = {1989},
  researchr = {https://researchr.org/publication/ReedR89},
  cites = {0},
  citedby = {0},
  pages = {36-63},
  booktitle = {Concurrency: Theory, Language, And Architecture, UK/Japan Workshop, Oxford, UK, September 25-27, 1989, Proceedings},
  editor = {Akinori Yonezawa and Takayasu Ito},
  volume = {491},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-53932-8},
}