{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:24:46Z","timestamp":1759991086889},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431664"},{"type":"electronic","value":"9783540456483"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45648-1_22","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T05:26:02Z","timestamp":1180329962000},"page":"416-435","source":"Crossref","is-referenced-by-count":34,"title":["Communicating B Machines"],"prefix":"10.1007","author":[{"given":"Steve","family":"Schneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helen","family":"Treharne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Abrial J. R.: The B Book: Assigning Programs to Meaning, CUP (1996).","DOI":"10.1017\/CBO9780511624162"},{"key":"22_CR2","unstructured":"Abrial J. R.: Extending B without Changing it (for Developing Distributed Systems). In H. Habrias, editor, Proc. of the 1st B Conference, Nantes, France (1996)."},{"key":"22_CR3","unstructured":"Butler M. J.: A CSP Approach to Action Systems, D.Phil Thesis, Programming Research Group, Oxford University (1992)."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Butler M. J.: An Approach to the Design of Distributed Systems with B AMN. In J. Bowen, M. Hinchey D. Till, editors, ZUM\u201997, Springer (1998), pp 223\u2013241.","DOI":"10.1007\/BFb0027291"},{"key":"22_CR5","unstructured":"Butler M. J.: csp2B: A Practical Approach to Combining CSP and B, In J.M. Wing, J. Woodcock, J. Davies, editors, FM\u201999 World Congress, Springer (1999)."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Hoare C. A. R.: Communicating Sequential Processes, Prentice Hall (1985).","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"22_CR7","unstructured":"Jones C. B.: Specification and Design of (parallel) Programs. In R.E.A. Mason, editor, Information Processing\u2019 83. IFIP, North Holland (1983)."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Morgan C. C.: 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 (1990).","DOI":"10.1007\/978-1-4612-4476-9_37"},{"key":"22_CR9","unstructured":"Formal Systems (Europe) Ltd.: Failures-Divergences Refinement: FDR2 User Manual (1997), http:\/\/www.formal.demon.co.uk"},{"key":"22_CR10","unstructured":"Neilson D., Sorensen I. H.: The B-Technologies: a system for computer aided programming, B-Core (UK) Limited, Kings Piece, Harwell, Oxon, OX11 0PA (1999), http:\/\/www.b-core.com"},{"key":"22_CR11","unstructured":"Schneider S.: Concurrent and Real-time Systems: The CSP approach, Wiley (2000)."},{"key":"22_CR12","unstructured":"Schneider S.: The B-Method: An Introduction, Palgrave, 2001."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Treharne H., Schneider S.: Using a Process Algebra to control B OPERATIONS. In K. Araki, A. Galloway and K. Taguchi, editors, IFM\u201999, York, Springer (1999).","DOI":"10.1007\/978-1-4471-0851-1_23"},{"key":"22_CR14","series-title":"Lect Notes Comput Sci","volume-title":"How to drive a B Machine","author":"H. Treharne","year":"2000","unstructured":"Treharne H., Schneider S.: How to drive a B Machine. ZB2000, York, LNCS 1878, Springer, September (2000)."},{"key":"22_CR15","unstructured":"Treharne H.: Controlling Software Specifications. PhD Thesis, Royal Holloway, University of London (2000)."},{"key":"22_CR16","unstructured":"Treharne H., Schneider S.: Communicating B Machines (full version). Technical Report, RHUL (2001)."}],"container-title":["Lecture Notes in Computer Science","ZB 2002:Formal Specification and Development in Z and B"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45648-1_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T01:34:33Z","timestamp":1683855273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}