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

@inproceedings{Petersohn1994FormalSF,
  title={Formal Semantics for Ward & Mellor's Transformation Schemas and the Specification of Faul Tolerant Systems},
  author={Carsta Petersohn and Willem P. de Roever and Cornelis Huizing and Jan Peleska},
  booktitle={EDCC},
  year={1994}
}
7 Citations
0 References
Similar Papers

Similar Papers

Loading similar papers…