An improved recipe for specifying reactive systems in Z

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1212, Issue , 1997, Pages 275-294

  Evans, Andy S ^a  

^a UNIVERSITY OF BRADFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84947803794     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0027293     Document Type: Conference Paper

References (13)

1. [BH95] 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.
2. [CM88] K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.
3. [DHKR88] 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.
4. [DS89] R. Duke and G. Smith. Temporal logic and Z specifications. Australian Computer Journal, 21(2):62-69, May 1989.
5. [Eva96a] A. S. Evans. An assertional verification method for z specifications of concurrent systems. In In Proceedings: ISCIS XI, Antalya, Turkey, November 1996.
6. [Eva96b] A. S. Evans. Z for Concurrent Systems. PhD thesis, Faculty of Information and Engineering Systems, Leeds Metropolitan University, 1996.
7. [Lam91] L. Lamport. The temporal logic of actions. SCR Report 79, DEC, Palo Alto, December 1991.
8. [Lam94] L. Lamport. TLZ. Workshops in Computing, pages 267-268. SpringerVerlag, 1994. Abstract.
9. [MC95] A. MacDonald and D. Carrington. Structuring Z specifications: Some choices. In Bowen and Hinchey [BH95], pages 203-223.
10. [MP84] Z. Manna and A. Pneuli. Adequate proof principles for invariance and liveness properties of concurrent programs. Science of Computer Programming, 4:257-289, 1984.
11. [Ost89] J. S. Ostroíf. Temporal Logic for Real-Time Systems. Wiley, Chichester, 1989.
12. [Spi92] J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992.
13. [Str95] B. Strulo. How firing conditions help inheritance. In Bowen and Hinchey [BH95], pages 264-275.