{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:04:36Z","timestamp":1725573876936},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540204619"},{"type":"electronic","value":"9783540398936"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39893-6_15","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:35:57Z","timestamp":1294414557000},"page":"246-265","source":"Crossref","is-referenced-by-count":4,"title":["Incremental Derivation of Abstraction Relations for Data Refinement"],"prefix":"10.1007","author":[{"given":"Neil J.","family":"Robinson","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Back, R.-J.R.: Refinement of parallel and reactive programs. Technical Report Caltech-CS-TR-92-93, Computer Science Department, California Institute of Technology (1992)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/BFb0015020","volume-title":"CONCUR \u201994: Concurrency Theory","author":"R.-J.R. Back","year":"1994","unstructured":"Back, R.-J.R., von Wright, J.: Trace refinement of action systems. In: Jonsson, B., Parrow, J. (eds.) CONCUR 1994. LNCS, vol.\u00a0836, pp. 367\u2013384. Springer, Heidelberg (1994)"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1006\/inco.1999.2820","volume":"156","author":"R.-J.R. Back","year":"2000","unstructured":"Back, R.-J.R., von Wright, J.: Contracts, games and refinement. Information and Computation\u00a0156, 25\u201345 (2000)","journal-title":"Information and Computation"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/s001650070008","volume":"12","author":"R.-J.R. Back","year":"2000","unstructured":"Back, R.-J.R., von Wright, J.: Encoding, decoding and data refinement. Formal Aspects of Computing\u00a012, 313\u2013349 (2000)","journal-title":"Formal Aspects of Computing"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/BFb0028755","volume-title":"Computer Aided Verification","author":"S. Bensalem","year":"1998","unstructured":"Bensalem, S., Lakhnech, Y., Owre, S.: Computing abstractions of infinite state systems compositionally and automatically. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 319\u2013331. Springer, Heidelberg (1998)"},{"issue":"1","key":"15_CR6","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s001650200025","volume":"14","author":"M. Butler","year":"2002","unstructured":"Butler, M.: On the use of data refinement in the development of secure communications systems. Formal Aspects of Computing\u00a014(1), 2\u201334 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/3-540-45648-1_7","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"M. Doche","year":"2002","unstructured":"Doche, M., Gravell, A.: Extraction of abstraction invariants for data refinement. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 120\u2013139. Springer, Heidelberg (2002)"},{"key":"15_CR8","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1093\/logcom\/12.4.623","volume":"12","author":"M. Lange","year":"2002","unstructured":"Lange, M., Stirling, C.: Model checking games for branching time logics. Journal of Logic and Computation\u00a012, 623\u2013639 (2002)","journal-title":"Journal of Logic and Computation"},{"issue":"6","key":"15_CR9","first-page":"481","volume":"27","author":"C. Morgan","year":"1989","unstructured":"Morgan, C., Gardiner, P.H.B.: Data refinement by calculation. Acta Informatica\u00a027(6), 481\u2013503 (1989)","journal-title":"Acta Informatica"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-45648-1_4","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"N.J. Robinson","year":"2002","unstructured":"Robinson, N.J.: Checking Z data refinements using an animation tool. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 62\u201381. Springer, Heidelberg (2002)"},{"key":"15_CR11","unstructured":"Robinson, N.J.: Finding abstraction relations for data refinement. Technical Report TR03-03, Software Verification Research Centre, School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane 4072, Australia (February 2003), \n                    \n                      http:\/\/www.itee.uq.edu.au\/~njr\/tr0303.pdf"},{"key":"15_CR12","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1109\/APSEC.2002.1182983","volume-title":"Proceedings of the Asia-Pacific Software Engineering Conference, APSEC 2002","author":"N.J. Robinson","year":"2002","unstructured":"Robinson, N.J., Fidge, C.: Animation of data refinements. In: Proceedings of the Asia-Pacific Software Engineering Conference, APSEC 2002, Gold Coast, Australia, December 2002, pp. 137\u2013146. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"15_CR13","unstructured":"von Wright, J.: Data refinement and the simulation method. Technical Report Ser. A, No. 137, Abo Akademi (1992)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39893-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T09:33:16Z","timestamp":1553333596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}