Publications of Frank Zeyda

Conference & Journal Papers

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.
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.

School of Computing - University of Teesside - Middlesbrough (UK)
Teesside Formal Methods and Programming Research Group
Menu of Content Home Research Activities Publications Software People Bill Stoddart Steve Dunne Phil Brooke Frank Zeyda Robert Lynas Anthony Howitt David Cumbor Contacts	Publications of Frank Zeyda Conference & Journal Papers 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. 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.