{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:29:33Z","timestamp":1752550173262},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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\/bfb0027291","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:00:45Z","timestamp":1132365645000},"page":"221-241","source":"Crossref","is-referenced-by-count":31,"title":["An approach to the design of distributed systems with B AMN"],"prefix":"10.1007","author":[{"given":"Michael","family":"Butler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,17]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"J.R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, 1996.","DOI":"10.1017\/CBO9780511624162"},{"key":"12_CR2","unstructured":"J.R. Abrial. Extending B without changing it (for developing distributed systems). In H. Habrias, editor, First B Conference, November 1996."},{"key":"12_CR3","volume-title":"Tract 131","author":"R.J.R. Back","year":"1980","unstructured":"R.J.R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications. Tract 131, Mathematisch Centrum, Amsterdam, 1980."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"R.J.R. Back and M.J. Butler. Exploring summation and product operators in the refinement calculus. In B. M\u00f6ller, editor, Mathematics of Program Construction, 1995, volume LNCS 947, pages 128\u2013158. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-60117-1_8"},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"R.J.R. Back and R. Kurki-Suonio. Decentralisation of process nets with centralised control. In 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pages 131\u2013142, 1983.","DOI":"10.1145\/800221.806716"},{"key":"12_CR6","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-6423(90)90069-P","volume":"13","author":"R.J.R. Back","year":"1989","unstructured":"R.J.R. Back and K. Sere. Stepwise refinement of parallel algorithms. Sci. Comp. Prog., 13:133\u2013180, 1989.","journal-title":"Sci. Comp. Prog."},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0304-3975(85)90088-X","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"J.A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoret. Comp. Sci., 37:77\u2013121, 1985.","journal-title":"Theoret. Comp. Sci."},{"key":"12_CR8","unstructured":"M.J. Butler. A CSP Approach To Action Systems. D.Phil. Thesis, Programming Research Group, Oxford University, 1992."},{"issue":"2","key":"12_CR9","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0167-6423(96)81173-7","volume":"27","author":"M.J. Butler","year":"1996","unstructured":"M.J. Butler. Stepwise refinement of communicating systems. Science of Computer Programming, 27(2):139\u2013173, September 1996.","journal-title":"Science of Computer Programming"},{"key":"12_CR10","unstructured":"M.J. Butler and M. Wald\u00e9n. Distributed system development in B. In H. Habrias, editor, First B Conference, November 1996."},{"key":"12_CR11","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"12_CR12","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":"12_CR13","doi-asserted-by":"crossref","unstructured":"K. Lano and J.Dick. Development of concurrent systems in B AMN. In He Jifeng, editor, 7th BCS-FACS Refinement Workshop, Workshops in Computing. Springer-Verlag, 1996.","DOI":"10.14236\/ewic\/RW1996.8"},{"key":"12_CR14","unstructured":"R. Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"C.C. Morgan. Of wp and CSP. In W.H.J. Feijen, A.J.M. van Gasteren, D. Gries, and J. Misra, editors, Beauty is our business: a birthday salute to Edsger W. Dijkstra. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4612-4476-9_37"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"C.C. Morgan and T. Vickers, editors. On the Refinement Calculus. Formal Approaches to Computing and Information Technology. Springer, 1994.","DOI":"10.1007\/978-1-4471-3273-8"},{"key":"12_CR17","first-page":"287","volume":"26","author":"J.M. Morris","year":"1989","unstructured":"J.M. Morris. Laws of data refinement. Acta Informatica, 26:287\u2013308, 1989.","journal-title":"Acta Informatica"},{"key":"12_CR18","unstructured":"D.S. Nielson and I.H. Sorensen. The B-technologies: a system for computer aided programming. In U.H. Engberg, K.G. Larsen, and P.D. Mosses, editors, 6th Nordic Workshop on Programming Theory. BRICS, October 1994."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"M. Wald\u00e9n and K. Sere. Refining action systems within B-Tool. In Formal Methods Europe (FME'96), volume LNCS 1051, pages 85\u2013104. Springer-Verlag, March 1996.","DOI":"10.1007\/3-540-60973-3_82"},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"J.C.P. Woodcock and C.C. Morgan. Refinement of state-based concurrent systems. In D. Bj\u00f8rner, C.A.R. Hoare, and H. Langmaack, editors, VDM '90, volume LNCS 428, pages 340\u2013351. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52513-0_18"}],"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\/BFb0027291","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T10:01:24Z","timestamp":1683280884000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027291"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627173","9783540684909"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0027291","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}