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.