{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:26:26Z","timestamp":1752549986222},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644057"},{"type":"electronic","value":"9783540697695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053357","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T02:05:53Z","timestamp":1149645953000},"page":"83-128","source":"Crossref","is-referenced-by-count":95,"title":["Introducing dynamic constraints in B"],"prefix":"10.1007","author":[{"given":"Jean -Raymond","family":"Abrial","sequence":"first","affiliation":[]},{"given":"Louis","family":"Mussat","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,22]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996)","key":"8_CR1","DOI":"10.1017\/CBO9780511624162"},{"unstructured":"J.-R. Abrial. Extending B Without Changing it (for Developing Distributed Systems). First B Conference (H. Habrias editor). Nantes (1996)","key":"8_CR2"},{"doi-asserted-by":"crossref","unstructured":"J.-R. Abrial and L. Mussat. Specification and Design of a Transmission Protocol by Successive Refinements Using B. in Mathematical Methods in Program Development Edited by M.Broy and B. Schieder. Springer-Verlag (1997)","key":"8_CR3","DOI":"10.1007\/978-3-642-60858-2_17"},{"doi-asserted-by":"crossref","unstructured":"K.R. Apt and E.-R. Olderog. Proof Rules and Transformations Dealing with Fairness. Science of Computer Programming (1983)","key":"8_CR4","DOI":"10.1016\/0167-6423(83)90004-7"},{"doi-asserted-by":"crossref","unstructured":"R.J.R. Back and R. Kurki-Suonio. Decentralization of Process Nets with Centralized Control. 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing (1983)","key":"8_CR5","DOI":"10.1145\/800221.806716"},{"doi-asserted-by":"crossref","unstructured":"M. J. Butler. Stepwise Refinement of Communicating Systems. Science of Computer Programming (1996)","key":"8_CR6","DOI":"10.1016\/0167-6423(96)81173-7"},{"doi-asserted-by":"crossref","unstructured":"K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley (1988)","key":"8_CR7","DOI":"10.1007\/978-1-4613-9668-0_6"},{"unstructured":"I.J. Hayes (editor). Specification Case Study. Prentice-Hall (1987)","key":"8_CR8"},{"doi-asserted-by":"crossref","unstructured":"C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall (1985)","key":"8_CR9","DOI":"10.1007\/978-3-642-82921-5_4"},{"unstructured":"L. Lamport. The Temporal Logic of Actions. SRC Report 57 (1991)","key":"8_CR10"},{"doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Adequate Proof Principles for Invariance and Liveness Properties of Concurrent Systems. Science of Computer Programming (1984)","key":"8_CR11","DOI":"10.1016\/0167-6423(84)90003-0"},{"doi-asserted-by":"crossref","unstructured":"A. Udaya Shankar An Introduction to Assertional Reasoning for Concurrent Systems. ACM Computing Survey (1993)","key":"8_CR12","DOI":"10.1145\/158439.158441"},{"unstructured":"Steria. Atelier B Version 3.3. (1997)","key":"8_CR13"}],"container-title":["Lecture Notes in Computer Science","B\u201998: Recent Advances in the Development and Use of the B Method"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053357","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,7]],"date-time":"2023-05-07T13:05:46Z","timestamp":1683464746000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644057","9783540697695"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/bfb0053357","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}