School of Computing - University of Teesside - Middlesbrough (UK)

Menu of Content

Publications of Frank Zeyda

Conference & Journal Papers

  1. F. Zeyda, W. J. Stoddart, and S. Dunne. A Prospective-Value Semantics for the GSL. In ZB 2005: Formal Specification and Development in Z and B, volume 3455 of Lecture Notes in Computer Science, pages 187-202. Springer, April 2005. Download paper.
  2. F. Zeyda, W. J. Stoddart, and S. Dunne. The Refinement of Reversible Computations. In RCS'03: 2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments. June 2003. On-line proceedings. Download from http://www.esil.univ-mrs.fr/~spc/rcs03/papers/zeyda&al.pdf.

Conference Proceedings

Unpublished Papers

Technical Reports

Theses

If you have difficulties accessing this website please email d.cumbor {at} tees.ac.uk.