Preview
Unable to display preview. Download preview PDF.
References
J. P. Bowen and M. G. Hinchey, editors. ZUM'95 — 9th International Conference of Z Users, Limerick 1995, Lecture Notes in Computer Science. Springer-Verlag, 1995.
K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.
R. Duke, I. J. Hayes, P. King, and G. A. Rose. Protocol specification and verification using Z. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing, and Verification VIII, pages 33–46. Elsevier Science Publishers (North-Holland), 1988.
R. Duke and G. Smith. Temporal logic and Z specifications. Australian Computer Journal, 21(2):62–69, May 1989.
A. S. Evans. An assertional verification method for z specifications of concurrent systems. In In Proceedings: ISCIS XI, Antalya, Turkey, November 1996.
A. S. Evans. Z for Concurrent Systems. PhD thesis, Faculty of Information and Engineering Systems, Leeds Metropolitan University, 1996.
L. Lamport. The temporal logic of actions. SCR Report 79, DEC, Palo Alto, December 1991.
L. Lamport. TLZ. Workshops in Computing, pages 267–268. Springer-Verlag, 1994. Abstract.
A. MacDonald and D. Carrington. Structuring Z specifications: Some choices. In Bowen and Hinchey [BH95], pages 203–223.
Z. Manna and A. Pneuli. Adequate proof principles for invariance and liveness properties of concurrent programs. Science of Computer Programming, 4:257–289, 1984.
J. S. Ostroff. Temporal Logic for Real-Time Systems. Wiley, Chichester, 1989.
J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
B. Strulo. How firing conditions help inheritance. In Bowen and Hinchey [BH95], pages 264–275.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Evans, A.S. (1997). An improved recipe for specifying reactive systems in Z. In: Bowen, J.P., Hinchey, M.G., Till, D. (eds) ZUM '97: The Z Formal Specification Notation. ZUM 1997. Lecture Notes in Computer Science, vol 1212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0027293
Download citation
DOI: https://doi.org/10.1007/BFb0027293
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62717-3
Online ISBN: 978-3-540-68490-9
eBook Packages: Springer Book Archive