{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:17:37Z","timestamp":1725455857812},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627173"},{"type":"electronic","value":"9783540684909"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0027293","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T07:00:45Z","timestamp":1132383645000},"page":"275-294","source":"Crossref","is-referenced-by-count":7,"title":["An improved recipe for specifying reactive systems in Z"],"prefix":"10.1007","author":[{"given":"Andy. S.","family":"Evans","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"14_CR1","unstructured":"J. P. Bowen and M. G. Hinchey, editors. ZUM'95 \u2014 9th International Conference of Z Users, Limerick 1995, Lecture Notes in Computer Science. Springer-Verlag, 1995."},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"14_CR3","first-page":"33","volume-title":"Protocol Specification, Testing, and Verification VIII","author":"R. Duke","year":"1988","unstructured":"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\u201346. Elsevier Science Publishers (North-Holland), 1988."},{"issue":"2","key":"14_CR4","first-page":"62","volume":"21","author":"R. Duke","year":"1989","unstructured":"R. Duke and G. Smith. Temporal logic and Z specifications. Australian Computer Journal, 21(2):62\u201369, May 1989.","journal-title":"Australian Computer Journal"},{"key":"14_CR5","unstructured":"A. S. Evans. An assertional verification method for z specifications of concurrent systems. In In Proceedings: ISCIS XI, Antalya, Turkey, November 1996."},{"key":"14_CR6","unstructured":"A. S. Evans. Z for Concurrent Systems. PhD thesis, Faculty of Information and Engineering Systems, Leeds Metropolitan University, 1996."},{"key":"14_CR7","volume-title":"SCR Report 79","author":"L. Lamport","year":"1991","unstructured":"L. Lamport. The temporal logic of actions. SCR Report 79, DEC, Palo Alto, December 1991."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"L. Lamport. TLZ. Workshops in Computing, pages 267\u2013268. Springer-Verlag, 1994. Abstract.","DOI":"10.1007\/978-1-4471-3452-7_15"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"A. MacDonald and D. Carrington. Structuring Z specifications: Some choices. In Bowen and Hinchey [BH95], pages 203\u2013223.","DOI":"10.1007\/3-540-60271-2_121"},{"key":"14_CR10","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0167-6423(84)90003-0","volume":"4","author":"Z. Manna","year":"1984","unstructured":"Z. Manna and A. Pneuli. Adequate proof principles for invariance and liveness properties of concurrent programs. Science of Computer Programming, 4:257\u2013289, 1984.","journal-title":"Science of Computer Programming"},{"key":"14_CR11","volume-title":"Temporal Logic for Real-Time Systems","author":"J. S. Ostroff","year":"1989","unstructured":"J. S. Ostroff. Temporal Logic for Real-Time Systems. Wiley, Chichester, 1989."},{"key":"14_CR12","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, 2nd edition, 1992."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"B. Strulo. How firing conditions help inheritance. In Bowen and Hinchey [BH95], pages 264\u2013275.","DOI":"10.1007\/3-540-60271-2_125"}],"container-title":["Lecture Notes in Computer Science","ZUM '97: The Z Formal Specification Notation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027293","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:31:35Z","timestamp":1586568695000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027293"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0027293","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}