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 proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationDependable Computing (Proceedings 1st European Dependable Computing Conference, EDCC-1, Berlin, Germany, October 4-6, 1994)
EditorsK. Echtle, D.K. Hammer, D. Powell
Place of PublicationBerlin
PublisherSpringer
Pages59-76
ISBN (Print)3-540-58426-9
DOIs
Publication statusPublished - 1994

Publication series

NameLecture Notes in Computer Science
Volume852
ISSN (Print)0302-9743

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