A compositional semantics for fault-tolerant real-time systems

J.A.A. Coenen; J.J.M. Hooman

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

A compositional semantics for fault-tolerant real-time systems

J.A.A. Coenen, J.J.M. Hooman

Algorithms

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

2 Citations (Scopus)

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	33-51
ISBN (Print)	3-540-55092-5
DOIs	https://doi.org/10.1007/3-540-55092-5_3
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_3

Cite this

Coenen, J. A. A., & Hooman, J. J. M. (1992). A compositional semantics for fault-tolerant real-time systems. 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. 33-51). (Lecture Notes in Computer Science; Vol. 571). Springer. https://doi.org/10.1007/3-540-55092-5_3

@inproceedings{52079f1ef4574cc396e5220de226b015,

title = "A compositional semantics for fault-tolerant real-time systems",

author = "J.A.A. Coenen and J.J.M. Hooman",

year = "1992",

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

language = "English",

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

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "33--51",

editor = "J. Vytopil",

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

}

Coenen, JAA & Hooman, JJM 1992, A compositional semantics for fault-tolerant real-time systems. 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. 33-51. https://doi.org/10.1007/3-540-55092-5_3

A compositional semantics for fault-tolerant real-time systems. / Coenen, J.A.A.; 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. 33-51 (Lecture Notes in Computer Science; Vol. 571).

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

TY - GEN

T1 - A compositional semantics for fault-tolerant real-time systems

AU - Coenen, J.A.A.

AU - Hooman, J.J.M.

PY - 1992

Y1 - 1992

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

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

M3 - Conference contribution

SN - 3-540-55092-5

T3 - Lecture Notes in Computer Science

SP - 33

EP - 51

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 -