Skip to main content
Springer Nature Link
Log in

An improved recipe for specifying reactive systems in Z

  • Conference paper
  • First Online:
ZUM '97: The Z Formal Specification Notation (ZUM 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1212))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    Google Scholar 

  2. K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.

    Google Scholar 

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

    Google Scholar 

  4. R. Duke and G. Smith. Temporal logic and Z specifications. Australian Computer Journal, 21(2):62–69, May 1989.

    Google Scholar 

  5. A. S. Evans. An assertional verification method for z specifications of concurrent systems. In In Proceedings: ISCIS XI, Antalya, Turkey, November 1996.

    Google Scholar 

  6. A. S. Evans. Z for Concurrent Systems. PhD thesis, Faculty of Information and Engineering Systems, Leeds Metropolitan University, 1996.

    Google Scholar 

  7. L. Lamport. The temporal logic of actions. SCR Report 79, DEC, Palo Alto, December 1991.

    Google Scholar 

  8. L. Lamport. TLZ. Workshops in Computing, pages 267–268. Springer-Verlag, 1994. Abstract.

    Google Scholar 

  9. A. MacDonald and D. Carrington. Structuring Z specifications: Some choices. In Bowen and Hinchey [BH95], pages 203–223.

    Google Scholar 

  10. Z. Manna and A. Pneuli. Adequate proof principles for invariance and liveness properties of concurrent programs. Science of Computer Programming, 4:257–289, 1984.

    Google Scholar 

  11. J. S. Ostroff. Temporal Logic for Real-Time Systems. Wiley, Chichester, 1989.

    Google Scholar 

  12. J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.

    Google Scholar 

  13. B. Strulo. How firing conditions help inheritance. In Bowen and Hinchey [BH95], pages 264–275.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, University of Bradford, Bradford, UK

    Andy. S. Evans

Authors
  1. Andy. S. Evans
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jonathan P. Bowen Michael G. Hinchey David Till

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation