The real-time behaviour of asynchronously communicating processes

F.S. Boer, de; J.J.M. Hooman

doi:10.1007/3-540-55092-5_25

The real-time behaviour of asynchronously communicating processes

F.S. Boer, de, J.J.M. Hooman

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992)
Editors	J. Vytopil
Place of Publication	Berlin
Publisher	Springer
Pages	451-472
ISBN (Print)	3-540-55092-5
DOIs	https://doi.org/10.1007/3-540-55092-5_25
Publication status	Published - 1992

Publication series

Name	Lecture Notes in Computer Science
Volume	571
ISSN (Print)	0302-9743

Access to Document

10.1007/3-540-55092-5_25

Cite this

Boer, de, F. S., & Hooman, J. J. M. (1992). The real-time behaviour of asynchronously communicating processes. In J. Vytopil (Ed.), Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992) (pp. 451-472). (Lecture Notes in Computer Science; Vol. 571). Springer. https://doi.org/10.1007/3-540-55092-5_25

@inproceedings{e80a5564e1284670a807e8b52f026a36,

title = "The real-time behaviour of asynchronously communicating processes",

author = "{Boer, de}, F.S. and J.J.M. Hooman",

year = "1992",

doi = "10.1007/3-540-55092-5_25",

language = "English",

isbn = "3-540-55092-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "451--472",

editor = "J. Vytopil",

booktitle = "Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992)",

address = "Germany",

}

Boer, de, FS & Hooman, JJM 1992, The real-time behaviour of asynchronously communicating processes. in J Vytopil (ed.), Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992). Lecture Notes in Computer Science, vol. 571, Springer, Berlin, pp. 451-472. https://doi.org/10.1007/3-540-55092-5_25

The real-time behaviour of asynchronously communicating processes. / Boer, de, F.S.; Hooman, J.J.M.

Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992). ed. / J. Vytopil. Berlin : Springer, 1992. p. 451-472 (Lecture Notes in Computer Science; Vol. 571).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - The real-time behaviour of asynchronously communicating processes

AU - Boer, de, F.S.

AU - Hooman, J.J.M.

PY - 1992

Y1 - 1992

U2 - 10.1007/3-540-55092-5_25

DO - 10.1007/3-540-55092-5_25

M3 - Conference contribution

SN - 3-540-55092-5

T3 - Lecture Notes in Computer Science

SP - 451

EP - 472

BT - Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992)

A2 - Vytopil, J.

PB - Springer

CY - Berlin

ER -

Boer, de FS, Hooman JJM. The real-time behaviour of asynchronously communicating processes. In Vytopil J, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems (Proceedings 2nd International Symposium, Nijmegen, The Netherlands, January 8-10, 1992). Berlin: Springer. 1992. p. 451-472. (Lecture Notes in Computer Science). https://doi.org/10.1007/3-540-55092-5_25