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

Conference Proceedings

Unpublished Papers

Technical Reports


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