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

Carsta Petersohn, Willem P. de Roever, Cornelis Huizing, Jan Peleska

Browse the full EDCC paper archive.