A Timed Model for Communicating Sequential Processes

George M. Reed, A. W. Roscoe. A Timed Model for Communicating Sequential Processes. In Laurent Kott, editor, Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings. Volume 226 of Lecture Notes in Computer Science, pages 314-323, Springer, 1986.

@inproceedings{ReedR86,
  title = {A Timed Model for Communicating Sequential Processes},
  author = {George M. Reed and A. W. Roscoe},
  year = {1986},
  tags = {modeling, process modeling},
  researchr = {https://researchr.org/publication/ReedR86},
  cites = {0},
  citedby = {0},
  pages = {314-323},
  booktitle = {Automata, Languages and Programming, 13th International Colloquium, ICALP86, Rennes, France, July 15-19, 1986, Proceedings},
  editor = {Laurent Kott},
  volume = {226},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-16761-7},
}