Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems

C. Petersohn; C. Huizing; J. Peleska; W.P. Roever, de

doi:10.1007/3-540-58426-9_124

Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems

C. Petersohn, C. Huizing, J. Peleska, W.P. Roever, de

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

Original language	English
Title of host publication	Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994)
Editors	K. Echtle, D.K. Hammer, D. Powell
Place of Publication	Berlin
Publisher	Springer
Pages	59-76
ISBN (Print)	3-540-58426-9
DOIs	https://doi.org/10.1007/3-540-58426-9_124
Publication status	Published - 1994

Publication series

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

Access to Document

10.1007/3-540-58426-9_124

Cite this

Petersohn, C., Huizing, C., Peleska, J., & Roever, de, W. P. (1994). Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems. In K. Echtle, D. K. Hammer, & D. Powell (Eds.), Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994) (pp. 59-76). (Lecture Notes in Computer Science; Vol. 852). Springer. https://doi.org/10.1007/3-540-58426-9_124

Petersohn, C. ; Huizing, C. ; Peleska, J. et al. / Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems. Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994). editor / K. Echtle ; D.K. Hammer ; D. Powell. Berlin : Springer, 1994. pp. 59-76 (Lecture Notes in Computer Science).

@inproceedings{bd2fa9affc0542798dc58e80a6feb306,

title = "Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems",

author = "C. Petersohn and C. Huizing and J. Peleska and {Roever, de}, W.P.",

year = "1994",

doi = "10.1007/3-540-58426-9_124",

language = "English",

isbn = "3-540-58426-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "59--76",

editor = "K. Echtle and D.K. Hammer and D. Powell",

booktitle = "Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994)",

address = "Germany",

}

Petersohn, C, Huizing, C, Peleska, J & Roever, de, WP 1994, Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems. in K Echtle, DK Hammer & D Powell (eds), Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994). Lecture Notes in Computer Science, vol. 852, Springer, Berlin, pp. 59-76. https://doi.org/10.1007/3-540-58426-9_124

Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems. / Petersohn, C.; Huizing, C.; Peleska, J. et al.
Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994). ed. / K. Echtle; D.K. Hammer; D. Powell. Berlin: Springer, 1994. p. 59-76 (Lecture Notes in Computer Science; Vol. 852).

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

TY - GEN

T1 - Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems

AU - Petersohn, C.

AU - Huizing, C.

AU - Peleska, J.

AU - Roever, de, W.P.

PY - 1994

Y1 - 1994

U2 - 10.1007/3-540-58426-9_124

DO - 10.1007/3-540-58426-9_124

M3 - Conference contribution

SN - 3-540-58426-9

T3 - Lecture Notes in Computer Science

SP - 59

EP - 76

BT - Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994)

A2 - Echtle, K.

A2 - Hammer, D.K.

A2 - Powell, D.

PB - Springer

CY - Berlin

ER -

Petersohn C, Huizing C, Peleska J, Roever, de WP. Formal semantics for Ward & Mellor's transformation schemas and the specification of fault tolerant systems. In Echtle K, Hammer DK, Powell D, editors, Dependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994). Berlin: Springer. 1994. p. 59-76. (Lecture Notes in Computer Science). doi: 10.1007/3-540-58426-9_124