{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T01:52:08Z","timestamp":1743040328242,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540402534"},{"type":"electronic","value":"9783540448808"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-44880-2_10","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:12:53Z","timestamp":1183479173000},"page":"127-147","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":21,"title":["Using Coupled Simulations in Non-atomic Refinement"],"prefix":"10.1007","author":[{"given":"John","family":"Derrick","sequence":"first","affiliation":[]},{"given":"Heike","family":"Wehrheim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,5,27]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book: Assigning Programs to Meanings. CUP, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"10_CR2","volume-title":"Action Refinement in Process Algebras","author":"L. Aceto","year":"1992","unstructured":"L. Aceto. Action Refinement in Process Algebras. CUP, London, 1992."},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"204","DOI":"10.1006\/inco.1993.1019","volume":"103","author":"L. Aceto","year":"1993","unstructured":"L. Aceto and M. Hennessy. Towards action-refinement in process algebras. Information and Computation, 103:204\u2013269, 1993.","journal-title":"Information and Computation"},{"key":"10_CR4","unstructured":"E. A. Boiten and J. Derrick. IO-refinement in Z. In A. Evans, D. J. Duke, and T. Clark, editors, 3rd BCS-FACS Northern Formal Methods Workshop. Springer-Verlag, September 1998. http:\/\/www.ewic.org.uk\/."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"W.-P. de Roever and K. Engelhardt. Data Refinement: Model-Oriented Proof Methods and their Comparison. CUP, 1998.","DOI":"10.1017\/CBO9780511663079"},{"key":"10_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"1477","DOI":"10.1007\/3-540-48118-4_28","volume-title":"FM\u201999, World Congress on Formal Methods","author":"J. Derrick","year":"1999","unstructured":"J. Derrick and E. Boiten. Non-atomic refinement in Z. In J. Woodcock and J. Wing, editors, FM\u201999, World Congress on Formal Methods, number 1709 in LNCS, pages 1477\u20131496. Springer, 1999."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"J. Derrick and E. A. Boiten. Refinement in Z and Object-Z. Springer-Verlag, 2001.","DOI":"10.1007\/978-1-4471-0257-1"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"C. Fischer. CSP-OZ \u2014 a combination of CSP and Object-Z. In H. Bowman and J. Derrick, editors, Second IFIP International conference on Formal Methods for Open Object-based Distributed Systems, pages 423\u2013438. Chapman & Hall, July 1997.","DOI":"10.1007\/978-0-387-35261-9_29"},{"key":"10_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/BFb0056022","volume-title":"ZUM\u201998: The Z Formal Specification Notation","author":"C. Fischer","year":"1998","unstructured":"C. Fischer. How to combine Z with a process algebra. In ZUM\u201998: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 5\u201323. Springer-Verlag, September 1998."},{"key":"10_CR10","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":"10_CR11","unstructured":"C. B. Jones. Systematic Software Development using VDM. Prentice Hall, 1989."},{"key":"10_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1007\/BFb0084813","volume-title":"CONCUR\u2019 92, Concurrency Theory","author":"J. Parrow","year":"1992","unstructured":"J. Parrow and P. Sj\u00f6din. Multiway Synchronisation Verified with Coupled Simulation. In R. Cleaveland, editor, CONCUR\u2019 92, Concurrency Theory, number 630 in LNCS, pages 518\u2013533. Springer, 1992."},{"key":"10_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/3-540-44618-4_22","volume-title":"CONCUR 2000 \u2014 Concurrency Theory","author":"A. Rensink","year":"2000","unstructured":"A. Rensink. Action Contraction. In C. Palamidessi, editor, CONCUR 2000 \u2014 Concurrency Theory, number 1877 in LNCS, pages 290\u2013304. Springer, 2000."},{"key":"10_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"772","DOI":"10.1007\/BFb0030640","volume-title":"TAPSOFT\u2019 97: Theory and Practice of Software Development","author":"A. Rensink","year":"1997","unstructured":"A. Rensink and R. Gorrieri. Action refinement as an implementation relation. In M. Bidoit and M. Dauchet, editors, TAPSOFT\u2019 97: Theory and Practice of Software Development, volume 1214 of Lecture Notes in Computer Science, pages 772\u2013786, 1997."},{"key":"10_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-63533-5_4","volume-title":"FME\u201997 Industrial Application and Strengthened Foundations of Formal Methods","author":"G. Smith","year":"1997","unstructured":"G. Smith. A semantic integration of Object-Z and CSP for the specification of concurrent systems. In J. Fitzgerald, C. B. Jones, and P. Lucas, editors, FME\u201997 Industrial Application and Strengthened Foundations of Formal Methods, volume 1313 of Lecture Notes in Computer Science, pages 62\u201381. Springer-Verlag, September 1997."},{"key":"10_CR16","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1023\/A:1011269103179","volume":"18","author":"G. Smith","year":"2001","unstructured":"G. Smith and J. Derrick. Specification, refinement and verification of concurrent systems \u2014 an integration of Object-Z and CSP. Formal Methods in Systems Design, 18:249\u2013284, May 2001.","journal-title":"Formal Methods in Systems Design"},{"key":"10_CR17","unstructured":"J. M. Spivey. The Z Notation: A Reference Manual. International Series in Computer Science. Prentice Hall, 2nd edition, 1992."},{"key":"10_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/BFb0056040","volume-title":"ZUM\u201998: The Z Formal Specification Notation","author":"S. Stepney","year":"1998","unstructured":"S. Stepney, D. Cooper, and J. C. P. Woodcock. More powerful data refinement in Z. In J. P. Bowen, A. Fett, and M. G. Hinchey, editors, ZUM\u201998: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science, pages 284\u2013307. Springer-Verlag, September 1998."},{"key":"10_CR19","doi-asserted-by":"crossref","unstructured":"H. Treharne and S. Schneider. Using a process algebra to control B operations. In K. Araki, A. Galloway, and K. Taguchi, editors, International Conference on Integrated Formal Methods 1999 (IFM\u201999), pages 437\u2013456, York, July 1999. Springer.","DOI":"10.1007\/978-1-4471-0851-1_23"},{"key":"10_CR20","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/3-540-51486-4_71","volume-title":"Mathematical Foundations of Computer Science 1989","author":"R. van Glabbeek","year":"1989","unstructured":"R. van Glabbeek and U. Goltz. Equivalence notions for concurrent systems and refinement of actions. In A. Kreczmar and G. Mirkowska, editors, Mathematical Foundations of Computer Science 1989, volume 379 of LNCS, pages 237\u2013248. Springer, 1989."},{"key":"10_CR21","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF01798961","volume":"4","author":"W. Vogler","year":"1991","unstructured":"Walter Vogler. Failure semantics based on interval semiwords is a congruence for refinement. Distributed Computing, 4:139\u2013162, 1991.","journal-title":"Distributed Computing"},{"key":"10_CR22","unstructured":"J. C. P. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice Hall, 1996."}],"container-title":["Lecture Notes in Computer Science","ZB 2003: Formal Specification and Development in Z and B"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44880-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T01:57:34Z","timestamp":1676685454000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-44880-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540402534","9783540448808"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-44880-2_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"27 May 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}