{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:04:28Z","timestamp":1725494668791},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540674429"},{"type":"electronic","value":"9783540455912"}],"license":[{"start":{"date-parts":[[2000,1,1]],"date-time":"2000-01-01T00:00:00Z","timestamp":946684800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-45591-4_141","type":"book-chapter","created":{"date-parts":[[2007,11,14]],"date-time":"2007-11-14T05:18:03Z","timestamp":1195017483000},"page":"1037-1038","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification A Practical View"],"prefix":"10.1007","author":[{"given":"Dominique","family":"Cansell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominique","family":"M\u00e9ry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christophe","family":"Tabacznyj","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,5,25]]},"reference":[{"key":"141_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":"141_CR2","unstructured":"J.-R. Abrial. Extending b without changing it (for developing distributed systems). In H. Habrias, editor, 1\nstConference on the B method, pages 169\u2013190, November 1996."},{"key":"141_CR3","series-title":"Lect Notes Comput Sci","volume-title":"B\u2019 98: Recent Advances in the Development and Use of the B Method","author":"J.-R. Abrial","year":"1998","unstructured":"J.-R. Abrial and L. Mussat. Introducing dynamic constraints in B. In D. Bert, editor, B\u2019 98: Recent Advances in the Development and Use of the B Method, volume 1393 of Lecture Notes in Computer Science. Springer-Verlag, 1998."},{"key":"141_CR4","unstructured":"J.R. Abrial. Development of the abr protocol. ps file, february 1999."},{"key":"141_CR5","unstructured":"P. Cousot. Calculational System Design, chapter The Calculational Design of a Generic Abstract Interpreter. NATO ASI Series F. Amsterdam: IOS Press, 1999."},{"issue":"4","key":"141_CR6","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"P. Cousot and R. Cousot. Abstract interpretation frameworks. Journal of Logic and Computation, 2(4):511\u2013547, 1992.","journal-title":"Journal of Logic and Computation"},{"issue":"l","key":"141_CR7","first-page":"69","volume":"6","author":"P. Cousot","year":"1999","unstructured":"P. Cousot and R. Cousot. Refining model checking by abstract interpretation. 6(l):69\u201396, January 1999.","journal-title":"Refining model checking by abstract interpretation"},{"key":"141_CR8","unstructured":"STERIA-Technologies de l\u2019Information, Aix-en-Provence (F). Atelier B, Manuel Utilisateur, 1998. Version 3.5."}],"container-title":["Lecture Notes in Computer Science","Parallel and Distributed Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45591-4_141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T05:13:44Z","timestamp":1586150024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45591-4_141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540674429","9783540455912"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45591-4_141","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]},"assertion":[{"value":"25 May 2000","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}