Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems

• Authors:

• Carsta Petersohn;Willem P. de Roever;Cornelis Huizing;Jan Peleska

• Affiliations:

• -;-;-;-

• Venue:
• EDCC-1 Proceedings of the First European Dependable Computing Conference on Dependable Computing
• Year:
• 1994