{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:55Z","timestamp":1761611275028},"publisher-location":"Berlin, Heidelberg","reference-count":33,"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_16","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T15:35:57Z","timestamp":1294414557000},"page":"266-285","source":"Crossref","is-referenced-by-count":5,"title":["Comparison of Data and Process Refinement"],"prefix":"10.1007","author":[{"given":"Steve","family":"Reeves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Streader","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"van Glabbeek, R.J.: The Linear Time - Branching Time Spectrum II. In: International Conference on Concurrency Theory, pp. 66\u201381 (1993)","DOI":"10.1007\/3-540-57208-2_6"},{"key":"16_CR2","unstructured":"Standard, I.: Open Distributed Processing - Reference Model. Technical Report ISO\/IEC 10746-1(E), International Electrotechnical Commission (1998)"},{"key":"16_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G. Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.\u00a01241, pp. 220\u2013242. Springer, Heidelberg (1997)"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1007\/3-540-49253-4_19","volume-title":"Algebraic Methodology and Software Technology","author":"M. Steen","year":"1998","unstructured":"Steen, M., Derrick, J., Boiten, E., Bowman, H.: Consistency of partial process specifications. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 248\u2013262. Springer, Heidelberg (1998)"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"Baeten, J.C.M., Weijland, W.P.: Process Algebra. Cambridge Tracts in Theoretical Computer Science\u00a018 (1990)","DOI":"10.1017\/CBO9780511624193"},{"key":"16_CR6","unstructured":"Roscoe, A.: The Theory and Practice of Concurrency. Prentice Hall International Series in Computer Science (1997)"},{"key":"16_CR7","first-page":"501","volume-title":"FORTE\/PSTV 1996","author":"J. Derrick","year":"1996","unstructured":"Derrick, J., Bowman, H., Boiten, E., Steen, M.: Comparing LOTOS and Z refinement relations. In: FORTE\/PSTV 1996, Kaiserslautern, Germany, pp. 501\u2013516. Chapman & Hall, Boca Raton (1996)"},{"key":"16_CR8","unstructured":"Bolton, C., Davies, J.: A singleton failures semantics for Communicating Sequential Processes. Research Report PRG-RR-01-11, Oxford University Computing Laboratory (2001)"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Bowman, H., Briscoe-Smith, C., Derrick, J., Strulo, B.: On behavioural subtyping in LOTOS (1997)","DOI":"10.1007\/978-0-387-35261-9_23"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Winskel, G., Nielsen, M.: Models for concurrency. Technical Report DAIMI PB 429, Computer Science Dept. Aarhus Universty (1992)","DOI":"10.7146\/dpb.v21i429.6743"},{"key":"16_CR11","unstructured":"Hoare, C.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science (1985)"},{"key":"16_CR12","first-page":"349","volume-title":"Protocol Specification, Testing and Verification","author":"E. Brinksma","year":"1986","unstructured":"Brinksma, E., Scollo, G., Steenbergen, C.: LOTOS specifications, their implementation and their tests. In: Sarikaya, B., Bochmann, G.V. (eds.) Protocol Specification, Testing and Verification, vol.\u00a0VI, pp. 349\u2013360. North-Holland, Amsterdam (1986)"},{"key":"16_CR13","volume-title":"Algebraic Theory of Processes","author":"M. Hennessy","year":"1988","unstructured":"Hennessy, M.: Algebraic Theory of Processes. The MIT Press, Cambridge (1988)"},{"key":"16_CR14","unstructured":"Brinksma, E., Scollo, G.: Formal notions of implementation and conformance in LOTOS. Technical Report INF-86-13, Twente University of Technology, Department of Informatics, Enschede, The Netherlands (1986)"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-45499-3_33","volume-title":"Algebraic Methodology and Software Technology","author":"C. Fischer","year":"2000","unstructured":"Fischer, C., Wehrheim, H.: Behavioural subtyping relations for object-oriented formalisms. In: Rus, T. (ed.) AMAST 2000. LNCS, vol.\u00a01816, pp. 469\u2013483. Springer, Heidelberg (2000)"},{"key":"16_CR16","volume-title":"The Z notation: A reference manual","author":"J.M. Spivey","year":"1989","unstructured":"Spivey, J.M.: The Z notation: A reference manual. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"16_CR17","volume-title":"Electronic Notes in Theoretical Computer Science","author":"C. Bolton","year":"2002","unstructured":"Bolton, C., Davies, J.: A comparison of refinement orderings and their associated simulation rules. In: Derrick, J., Boiten, E., Woodcock, J., von Wright, J. (eds.) Electronic Notes in Theoretical Computer Science, vol.\u00a070. Elsevier, Amsterdam (2002)"},{"key":"16_CR18","first-page":"47","volume":"47","author":"T. Basten","year":"2001","unstructured":"Basten, T., van der Aalst, W.M.P.: Inheritance of behavior. JLAP\u00a047, 47\u2013145 (2001)","journal-title":"JLAP"},{"key":"16_CR19","first-page":"99","volume-title":"Object-Oriented Software Composition","author":"O. Nierstrasz","year":"1995","unstructured":"Nierstrasz, O.: Regular types for active objects. In: Nierstrasz, O., Tsichritzis, D. (eds.) Object-Oriented Software Composition, pp. 99\u2013121. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Liskov, B., Wing, J.: Family values: a behavioral notion of subtyping. Technical Report MIT\/LCS\/TR-562b, Massachusetts Institute of Technology (1993)","DOI":"10.21236\/ADA259881"},{"key":"16_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/3-540-16442-1_14","volume-title":"ESOP 86","author":"J. He","year":"1986","unstructured":"He, J., Hoare, C., Sanders, J.: Data refinement refined. In: Robinet, B., Wilhelm, R. (eds.) ESOP 1986. LNCS, vol.\u00a0213, pp. 187\u2013196. Springer, Heidelberg (1986)"},{"key":"16_CR22","volume-title":"Using Z: Specification, Refinement and Proof","author":"J. Woodcock","year":"1996","unstructured":"Woodcock, J., Davies, J.: Using Z: Specification, Refinement and Proof. Prentice-Hall, Englewood Cliffs (1996)"},{"key":"16_CR23","volume-title":"Formal Approaches to Computing and Information Technology","author":"J. Derrick","year":"2001","unstructured":"Derrick, J., Boiten, E.: Refinement in Z and Object-Z: Foundations and Advanced Applications. In: Formal Approaches to Computing and Information Technology. Springer, Heidelberg (2001)"},{"key":"16_CR24","volume-title":"Proceedings of APSEC2002","author":"M. Deutsch","year":"2002","unstructured":"Deutsch, M., Henson, M., Reeves, S.: Results on Formal Stepwise Design in Z. In: Proceedings of APSEC2002. IEEE Computer Society, Los Alamitos (2002)"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-63533-5_4","volume-title":"FME \u201997 Industrial Applications and Strengthened Foundations of Formal Methods","author":"G. Smith","year":"1997","unstructured":"Smith, G.: A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems. In: Fitzgerald, J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol.\u00a01313, pp. 62\u201381. Springer, Heidelberg (1997)"},{"key":"16_CR26","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01211075","volume":"7","author":"G. Smith","year":"1995","unstructured":"Smith, G.: A Fully Abstract Semantics of Classes for Object-Z. Formal Aspects of Computing\u00a07, 289\u2013313 (1995)","journal-title":"Formal Aspects of Computing"},{"key":"16_CR27","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s001650050007","volume":"10","author":"J. Derrick","year":"1998","unstructured":"Derrick, J., Boiten, E., Bowman, H., Steen, M.: Specifying and Refining Internal Operations in Z. Formal Aspects of Computing\u00a010, 125\u2013159 (1998)","journal-title":"Formal Aspects of Computing"},{"key":"16_CR28","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"REFINE 2002: The BCS FACS Refinement Workshop","author":"E. Boiten","year":"2002","unstructured":"Boiten, E., Derrick, J.: Unifying concurrent and relational refinement. In: Derrick, J., Boiten, E., Woodcock, J., von Wright, J. (eds.) REFINE 2002: The BCS FACS Refinement Workshop. Electronic Notes in Theoretical Computer Science, vol.\u00a070(3). Elsevier Science Publishers, Amsterdam (2002)"},{"key":"16_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1007\/3-540-52513-0_18","volume-title":"VDM \u201990. VDM and Z - Formal Methods in Software Development","author":"J. Woodcock","year":"1990","unstructured":"Woodcock, J., Morgan, C.: Refinement of state-based concurrent systems. In: Langmaack, H., Hoare, C.A.R., Bjorner, D. (eds.) VDM 1990. LNCS, vol.\u00a0428, pp. 340\u2013351. Springer, Heidelberg (1990)"},{"key":"16_CR30","unstructured":"Hoare, C., Jifeng, H.: Unifying Theories of Programming. Prentice Hall International Series in Computer Science (1998)"},{"key":"16_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/3-540-45648-1_10","volume-title":"ZB 2002: Formal Specification and Development in Z and B","author":"J.C.P. Woodcock","year":"2002","unstructured":"Woodcock, J.C.P., Cavalcanti, A.L.C.: The Semantics of Circus. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) B 2002 and ZB 2002. LNCS, vol.\u00a02272, pp. 184\u2013203. Springer, Heidelberg (2002)"},{"key":"16_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-540-49676-2_2","volume-title":"ZUM \u201998: The Z Formal Specification Notation","author":"C. Fischer","year":"1998","unstructured":"Fischer, C.: How to combine Z with a process algebra. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol.\u00a01493, pp. 5\u201323. Springer, Heidelberg (1998)"},{"key":"16_CR33","doi-asserted-by":"crossref","unstructured":"Bolton, C., Davies, J., Woodcock, J.: On the refinement and simulation of data types and processes. In: Arak, K., Galloway, A., Taguchi, K. (eds.) Proceedings of IFM 1999, pp. 273\u2013292 (1999)","DOI":"10.1007\/978-1-4471-0851-1_15"}],"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_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T17:43:28Z","timestamp":1559929408000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39893-6_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540204619","9783540398936"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39893-6_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}