{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:39:05Z","timestamp":1754487545600},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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\/bfb0027298","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:00:45Z","timestamp":1132365645000},"page":"369-388","source":"Crossref","is-referenced-by-count":15,"title":["Weak refinement in Z"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]},{"given":"Eerke","family":"Boiten","sequence":"additional","affiliation":[]},{"given":"Howard","family":"Bowman","sequence":"additional","affiliation":[]},{"given":"Maarten","family":"Steen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"E. Boiten, J. Derrick, H. Bowman, and M. Steen. Consistency and refinement for partial specification in Z. In M.-C. Gaudel and J. Woodcock, editors, FME'96: Industrial Benefit of Formal Methods, Third International Symposium of Formal Methods Europe, volume 1051 of Lecture Notes in Computer Science, pages 287\u2013306. Springer-Verlag, March 1996.","DOI":"10.1007\/3-540-60973-3_93"},{"issue":"1","key":"19_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0169-7552(87)90085-7","volume":"14","author":"T. Bolognesi","year":"1988","unstructured":"T. Bolognesi and E. Brinksma. Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems, 14(1):25\u201359, 1988.","journal-title":"Computer Networks and ISDN Systems"},{"key":"19_CR3","first-page":"63","volume-title":"Protocol Specification, Testing and Verification, VIII","author":"E. Brinksma","year":"1988","unstructured":"E. Brinksma. A theory for the derivation of tests. In S. Aggarwal and K. Sabnani, editors, Protocol Specification, Testing and Verification, VIII, pages 63\u201374, Atlantic City, USA, June 1988. North-Holland."},{"key":"19_CR4","first-page":"349","volume-title":"Protocol Specification, Testing and Verification, VI","author":"E. Brinksma","year":"1986","unstructured":"E. Brinksma, G. Scollo, and C. Steenbergen. Process specification, their implementation and their tests. In B. Sarikaya and G. v. Bochmann, editors, Protocol Specification, Testing and Verification, VI, pages 349\u2013360, Montreal, Canada, June 1986. North-Holland."},{"key":"19_CR5","first-page":"167","volume-title":"Object oriented modelling in Z for Open Distributed Systems","author":"E. Cusack","year":"1991","unstructured":"E. Cusack. Object oriented modelling in Z for Open Distributed Systems. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing, pages 167\u2013178, Berlin, Germany, September 1991. North-Holland."},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"E. Cusack and G. H. B. Rafsanjani. ZEST. In S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z, Workshops in Computing, pages 113\u2013126. Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4471-3552-4_10"},{"key":"19_CR7","first-page":"180","volume-title":"Seventh Annual Z User Workshop","author":"E. Cusack","year":"1992","unstructured":"E. Cusack and C. Wezeman. Deriving tests for objects specified in Z. In J. P. Bowen and J. E. Nicholls, editors, Seventh Annual Z User Workshop, pages 180\u2013195, London, December 1992. Springer-Verlag."},{"key":"19_CR8","first-page":"501","volume-title":"FORTE\/PSTV'96","author":"J. Derrick","year":"1996","unstructured":"J. Derrick, H. Bowman, E. Boiten, and M. Steen. Comparing LOTOS and Z refinement relations. In FORTE\/PSTV'96, pages 501\u2013516, Kaiserslautern, Germany, October 1996. Chapman & Hall."},{"key":"19_CR9","volume-title":"Supporting ODP \u2014 translating LOTOS to Z","author":"J. Derrick","year":"1996","unstructured":"J. Derrick, E.A.Boiten, H. Bowman, and M. Steen. Supporting ODP \u2014 translating LOTOS to Z. In First IFIP International workshop on Formal Methods for Open Object-based Distributed Systems, Paris, March 1996. Chapman & Hall."},{"key":"19_CR10","unstructured":"M. Hennessy. Algebraic Theory of Processes. MIT Press, 1988."},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"19_CR12","unstructured":"ITU Recommendation X.901-904 \u2014 ISO\/IEC 10746 1-4. Open Distributed Processing \u2014 Reference Model \u2014 Parts 1\u20134, July 1995."},{"key":"19_CR13","doi-asserted-by":"crossref","unstructured":"L. Lamport. TLZ. In J.P. Bowen and J.A. Hall, editors, ZUM'94, Z User Workshop, pages 267\u2013268, Cambridge, United Kingdom, June 1994.","DOI":"10.1007\/978-1-4471-3452-7_15"},{"key":"19_CR14","first-page":"29","volume-title":"Eighth Annual Z User Workshop","author":"P. Mataga","year":"1994","unstructured":"P. Mataga and P. Zave. Formal specification of telephone features. In J. P. Bowen and J. A. Hall, editors, Eighth Annual Z User Workshop, pages 29\u201350, Cambridge, July 1994. Springer-Verlag."},{"key":"19_CR15","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"19_CR16","unstructured":"G. H. B. Rafsanjani. ZEST \u2014 Z Extended with Structuring: A users's guide. Technical report, BT, June 1994."},{"key":"19_CR17","first-page":"267","volume-title":"Modelling information objects in Z","author":"S. Rudkin","year":"1991","unstructured":"S. Rudkin. Modelling information objects in Z. In J. de Meer, V. Heymer, and R. Roth, editors, IFIP TC6 International Workshop on Open Distributed Processing, pages 267\u2013280, Berlin, Germany, September 1991. North-Holland."},{"key":"19_CR18","unstructured":"J. M. Spivey. The Z notation: A reference manual. Prentice Hall, 1989."},{"key":"19_CR19","series-title":"LNCS 967","first-page":"264","volume-title":"Ninth Annual Z User Workshop","author":"B. Strulo","year":"1995","unstructured":"B. Strulo. How firing conditions help inheritance. In J. P. Bowen and M. G. Hinchey, editors, Ninth Annual Z User Workshop, LNCS 967, pages 264\u2013275, Limerick, September 1995. Springer-Verlag."},{"key":"19_CR20","first-page":"108","volume-title":"Eighth Annual Z User Workshop","author":"C. Wezeman","year":"1994","unstructured":"C. Wezeman and A. J. Judge. Z for managed objects. In J. P. Bowen and J. A. Hall, editors, Eighth Annual Z User Workshop, pages 108\u2013119, Cambridge, July 1994. Springer-Verlag."},{"key":"19_CR21","unstructured":"J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996."}],"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\/BFb0027298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T10:01:32Z","timestamp":1683280892000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027298"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0027298","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}