{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:50Z","timestamp":1725664610432},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630104"},{"type":"electronic","value":"9783540690580"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63010-4_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:58:30Z","timestamp":1330297110000},"page":"216-232","source":"Crossref","is-referenced-by-count":3,"title":["Contracts for ODP"],"prefix":"10.1007","author":[{"given":"Arnaud","family":"F\u00e9vrier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elie","family":"Najm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean -Bernard","family":"Stefani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"Num1","key":"15_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Mart\u00edn Abadi and Leslie Lamport. Composing Specifications. ACM Transactions on Programming Languages and Systems. January 1993, Vol 15, Num 1, pages 73\u2013132.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Arnaud F\u00e9vrier, Elie Najm, Guy Leduc, and Luc L\u00e9onard. Compositional specification of ODP binding objects. In Sixth IFIP\/ICCC Conference on Information Network and Data Communication (Trondheim, Norway), 1996.","DOI":"10.1007\/978-0-387-34985-5_21"},{"issue":"Num3","key":"15_CR3","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Leslie Lamport. The Temporal Logic of Actions. Toplas. May 1994, Vol 16, Num 3, pages 872\u2013923.","journal-title":"Toplas"},{"issue":"3","key":"15_CR4","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1109\/2.485902","volume":"29","author":"J.C. McKim Jr.","year":"1996","unstructured":"McKim, J.C., Jr. Programming by contract. Computer, 29(3):109\u201311, 1996.","journal-title":"Computer"},{"key":"15_CR5","volume-title":"TOOLS Pacific '93","author":"B. Meyer","year":"1993","unstructured":"Bertrand Meyer. Systematic concurrent object-oriented programming. In C. Mingins, W. Haebich, J. Potter, and B. Meyer, editors, TOOLS Pacific '93. Prentice Hall, Englewood Cliffs, NJ, USA, 1993."},{"key":"15_CR6","unstructured":"Open Distributed Processing Reference Model \u2014 parts 1,2,3,4. ISO 10746-1,2,3,4 or ITU-T X.901,2,3,4, ISO\/IEC, 1995."},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"H.W. Schmidt and J. Chen. Reasoning about concurrent objects. In Asia Pacific Software Engineering Conference, pages 86\u201395. IEEE Comput. Soc. Press, 1995. ISBN: 0 8186 7171 8.","DOI":"10.1109\/APSEC.1995.496957"},{"issue":"2","key":"15_CR8","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/0140-3664(92)90131-W","volume":"15","author":"J.B. Stefani","year":"1992","unstructured":"J.B. Stefani, L. Hazard, and F. Horn. Computational model for multimedia applications based on a synchronous programming language. Computer Communications, 15(2):114\u2013128, 1992.","journal-title":"Computer Communications"},{"key":"15_CR9","unstructured":"J.B. Stefani. Open distributed processing: The next target for the application of formal description techniques\u201d. In Formal Description Techniques, volume III (Madrid Spain), 1990."}],"container-title":["Lecture Notes in Computer Science","Transformation-Based Reactive Systems Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63010-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,1]],"date-time":"2019-02-01T05:26:57Z","timestamp":1548998817000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63010-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630104","9783540690580"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-63010-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}