{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:47Z","timestamp":1725484607134},"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_23","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T01:26:02Z","timestamp":1180315562000},"page":"436-457","source":"Crossref","is-referenced-by-count":5,"title":["Synchronized Parallel Composition of Event Systems in B"],"prefix":"10.1007","author":[{"given":"Fran\u00e7oise","family":"Bellegarde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Julliand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Kouchnarenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,1,22]]},"reference":[{"key":"23_CR1","unstructured":"J.-R. Abrial. Extending B without changing it (for developing distributed systems). In 1st Conference on the B method, pages 169\u2013190, Nantes, France, November 1996."},{"key":"23_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/BFb0053357","volume-title":"Introducing dynamic constraints in B","author":"J.-R. Abrial","year":"1998","unstructured":"J.-R. Abrial and L. Mussat. Introducing dynamic constraints in B. In Second Conference on the B method, France, volume 1393 of LNCS, pages 83\u2013128. Springer Verlag, April 1998."},{"key":"23_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-44525-0_14","volume-title":"Reformulate dynamic properties during B refinement and forget variants and loop invariants","author":"F. Bellegarde","year":"2000","unstructured":"F. Bellegarde, C. Darlot, J. Julliand, and O. Kouchnarenko. Reformulate dynamic properties during B refinement and forget variants and loop invariants. In Proc. First Int. Conf. ZB\u20192000, York, Great Britain, volume 1878 of LNCS, pages 230\u2013249. Springer-Verlag, September 2000."},{"key":"23_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-45251-6_2","volume-title":"Reformulation: a way to combine dynamic properties and B refinement","author":"F. Bellegarde","year":"2001","unstructured":"F. Bellegarde, C. Darlot, J. Julliand, and O. Kouchnarenko. Reformulation: a way to combine dynamic properties and B refinement. In In Proc. Int. Conf. Formal Method Europe\u201901, Berlin, Germany, volume 2021 of LNCS, pages 2\u201319. Springer Verlag, March 2001."},{"key":"23_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/3-540-46428-X_19","volume-title":"Ready-simulation is not ready to express a modular refinement relation","author":"F. Bellegarde","year":"2000","unstructured":"F. Bellegarde, J. Julliand, and O. Kouchnarenko. Ready-simulation is not ready to express a modular refinement relation. In Proc. Int. Conf. on Fundamental Aspects of Software Engineering, FASE\u20192000, volume 1783 of LNCS, pages 266\u2013283. Springer-Verlag, April 2000."},{"key":"23_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1007\/3-540-40911-4_14","volume-title":"Construction of finite labelled transition systems from B abstract systems","author":"D. Bert","year":"2000","unstructured":"D. Bert and F. Cave. Construction of finite labelled transition systems from B abstract systems. In T. Santen W. Grieskamp and B. Stoddart, editors, 2nd international conference on Integrated Formal Methods, IFM 2000, volume 1945 of LNCS, pages 235\u2013255, Germany, November 2000. Springer-Verlag."},{"key":"23_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/3-540-44525-0_9","volume-title":"Automatic construction of validated B components from structured developments","author":"P. Bontron","year":"2000","unstructured":"P. Bontron and M.-L. Potet. Automatic construction of validated B components from structured developments. In Proc. First Int. Conf. ZB\u20192000, York, Great Britain, volume 1878 of LNCS, pages 127\u2013147. Springer-Verlag, September 2000."},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/PL00003930","volume":"12","author":"M. J. Butler","year":"2000","unstructured":"M. J. Butler. csp2B: A practical approach to combining CSP and B. Formal Aspects of Computing, 12:182\u2013198, 2000.","journal-title":"Formal Aspects of Computing"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"M. J. Butler and M. Wald\u00e9n. Program Development by Refinement (Case Studies Using the B Method), chapter Parallel Programming with the B Method. Springer, 1999.","DOI":"10.1007\/978-1-4471-0585-5_5"},{"key":"23_CR10","unstructured":"J. Julliand, P-A. Masson, and H. Mountassir. V\u00e9rification par model-checking modulaire des propri\u00e9t\u00e9s dynamiques introduites en B. Technique et Science Informatiques, To appear, 2001."},{"issue":"1","key":"23_CR11","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008736219484","volume":"18","author":"J. Lind-Nielsen","year":"2001","unstructured":"J. Lind-Nielsen, H. R. Andersen, H. Hulgaard, G. Behrmann, K. Kristoffersen, and K. G. Larsen. Verification of large state\/event systems using compositionality and dependency analysis. Formal Methods in System Design, 18(1):5\u201323, January 2001.","journal-title":"Formal Methods in System Design"},{"key":"23_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1007\/3-540-40911-4_23","volume-title":"Modular verification for a class of PLTL properties","author":"P.-A. Masson","year":"2000","unstructured":"P.-A. Masson, H. Mountassir, and J. Julliand. Modular verification for a class of PLTL properties. In T. Santen W. Grieskamp and B. Stoddart, editors, 2nd international conference on Integrated Formal Methods, IFM 2000, volume 1945 of LNCS, pages 398\u2013419. Springer-Verlag, November 2000."},{"key":"23_CR13","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall Int., 1989."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"E. Sekerinski. Program Development by Refinement (Case Studies Using the B Method), chapter Production Cell. Springer, 1999.","DOI":"10.1007\/978-1-4471-0585-5_6"},{"key":"23_CR15","doi-asserted-by":"crossref","unstructured":"H. Treharne and S. Schneider. Using a process algebra to control B OPERATIONS. In IFM\u201999 1st International Conference on Integrated Formal Methods, pages 437\u2013457, York, 1999. Springer-Verlag.","DOI":"10.1007\/978-1-4471-0851-1_23"},{"key":"23_CR16","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/3-540-46432-8_23","volume-title":"Compositional verification in linear-time temporal logic","author":"Y.-K. Tsay","year":"2000","unstructured":"Y.-K. Tsay. Compositional verification in linear-time temporal logic. In J. Tiuryn, editor, Proc. 3rd Int. Conf. on Foundations of Software Science and Computation Structures (FOSSACS 2000), volume 1784 of LNCS, pages 344\u2013358. Springer Verlag, 2000."}],"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_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T07:14:11Z","timestamp":1556435651000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45648-1_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431664","9783540456483"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45648-1_23","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}