Rob Gerth, Andy Boucher. A Timed Failures Model for Extended Communicating Processes. In Thomas Ottmann, editor, Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings. Volume 267 of Lecture Notes in Computer Science, pages 95-114, Springer, 1987.
@inproceedings{GerthB87,
title = {A Timed Failures Model for Extended Communicating Processes},
author = {Rob Gerth and Andy Boucher},
year = {1987},
tags = {modeling, process modeling},
researchr = {https://researchr.org/publication/GerthB87},
cites = {0},
citedby = {0},
pages = {95-114},
booktitle = {Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings},
editor = {Thomas Ottmann},
volume = {267},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-18088-5},
}