{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:41:11Z","timestamp":1725565271933},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223818"},{"type":"electronic","value":"9783540278153"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27815-3_13","type":"book-chapter","created":{"date-parts":[[2010,9,14]],"date-time":"2010-09-14T04:32:16Z","timestamp":1284438736000},"page":"117-131","source":"Crossref","is-referenced-by-count":9,"title":["Linear Temporal Logic and Z Refinement"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]},{"given":"Graeme","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511624162","volume-title":"The B Book: Assigning Programs to Meaning","author":"J.R. Abrial","year":"1996","unstructured":"Abrial, J.R.: The B Book: Assigning Programs to Meaning. Cambridge University Press, Cambridge (1996)"},{"key":"13_CR2","unstructured":"Bolton, C., Davies, J.: A Singleton Failures Semantics for Communicating Sequential Processes. Formal Aspects of Computing (2002) (under consideration)"},{"issue":"5","key":"13_CR3","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E. Clarke","year":"1994","unstructured":"Clarke, E., Grumberg, O., Long, D.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems\u00a016(5), 1512\u20131542 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR4","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/3-540-44880-2_24","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"C. Darlot","year":"2003","unstructured":"Darlot, C., Julliand, J., Kouchnarenko, O.: Refinement preserves PLTL properties. In: Bert, D., Bowen, J.P., King, S., Wald\u00e9n, M. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 408\u2013420. Springer, Heidelberg (2003)"},{"key":"13_CR6","volume-title":"Refinement in Z and Object-Z, Foundations and Advanced Applications","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.: Refinement in Z and Object-Z, Foundations and Advanced Applications. Springer, Heidelberg (2001)"},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/s00165-003-0007-4","volume":"15","author":"J. Derrick","year":"2003","unstructured":"Derrick, J., Boiten, E.A.: Relational concurrent refinement. Formal Aspects of Computing\u00a015(1), 182\u2013214 (2003)","journal-title":"Formal Aspects of Computing"},{"key":"13_CR8","first-page":"996","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 996\u20131072. Elsevier Science Publishers, Amsterdam (1990)"},{"key":"13_CR9","volume-title":"Systematic Software Development using VDM","author":"C.B. Jones","year":"1986","unstructured":"Jones, C.B.: Systematic Software Development using VDM. Prentice Hall, Englewood Cliffs (1986)"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D. Kozen","year":"1983","unstructured":"Kozen, D.: Results on the propositional \u03bc-calculus. Theoretical Computer Science\u00a027, 333\u2013354 (1983)","journal-title":"Theoretical Computer Science"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Loiseaux, C., Graf, S., Sifakis, J., Bouajjani, A., Bensalem, S.: Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design\u00a06(1) (1995)","DOI":"10.1007\/BF01384313"},{"key":"13_CR12","volume-title":"Advances in Formal Methods","author":"G. Smith","year":"2000","unstructured":"Smith, G.: The Object-Z Specification Language. In: Smith, G. (ed.) Advances in Formal Methods, Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/3-540-44880-2_24","volume-title":"ZB 2003: Formal Specification and Development in Z and B","author":"G. Smith","year":"2003","unstructured":"Smith, G., Winter, K.: Proving temporal properties of z specifications using abstraction. In: Bert, D., Bowen, J.P., King, S., Wald\u00e9n, M. (eds.) ZB 2003. LNCS, vol.\u00a02651, pp. 408\u2013420. Springer, Heidelberg (2003)"},{"key":"13_CR14","volume-title":"The Z Notation: A Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall, Englewood Cliffs (1992)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27815-3_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:27:54Z","timestamp":1620012474000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27815-3_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223818","9783540278153"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27815-3_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}