{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T00:53:35Z","timestamp":1787705615012,"version":"build-2784847793"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642130090","type":"print"},{"value":"9783642130106","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-13010-6_3","type":"book-chapter","created":{"date-parts":[[2010,5,3]],"date-time":"2010-05-03T13:26:59Z","timestamp":1272893219000},"page":"41-90","source":"Crossref","is-referenced-by-count":5,"title":["SCOOP \u2013 A Contract-Based Concurrent Object-Oriented Programming Model"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Morandi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian S.","family":"Bauer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Arslan, V., Meyer, B.: Asynchronous exceptions in concurrent object-oriented programming. In: Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages Proceedings, pp. 62\u201370 (2006)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Brooke, P.J., Paige, R.F.: Exceptions in concurrent eiffel. Journal of Object Technology\u00a06(10) (2007)","DOI":"10.5381\/jot.2007.6.10.a4"},{"issue":"2","key":"3_CR3","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/356586.356588","volume":"3","author":"E.G. Coffman","year":"1971","unstructured":"Coffman, E.G., Elphick, M.J., Shoshani, A.: System deadlocks. ACM Computing Surveys\u00a03(2), 67\u201378 (1971)","journal-title":"ACM Computing Surveys"},{"key":"3_CR4","unstructured":"ECMA. Ecma-367 eiffel: Analysis, design and programming language 2nd edition. Technical report, ECMA International (2006)"},{"key":"3_CR5","volume-title":"Java Concurrency in Practice","author":"B. Goetz","year":"2006","unstructured":"Goetz, B., Bloch, J., Bowbeer, J., Lea, D., Holmes, D., Peierls, T.: Java Concurrency in Practice. Addison-Wesley, Reading (2006)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Procedures and parameters: An axiomatic approach. In: Symposium on Semantics of Algorithmic Languages, pp. 102\u2013116 (1971)","DOI":"10.1007\/BFb0059696"},{"key":"3_CR7","unstructured":"Meyer, B.: Sequential and concurrent object-oriented programming. In: Technology of Object-Oriented Languages and Systems, pp. 17\u201328 (1990)"},{"issue":"10","key":"3_CR8","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying design by contract. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"issue":"9","key":"3_CR9","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/162685.162705","volume":"36","author":"B. Meyer","year":"1993","unstructured":"Meyer, B.: Systematic concurrent object-oriented programming. Communications of the ACM\u00a036(9), 56\u201380 (1993)","journal-title":"Communications of the ACM"},{"key":"3_CR10","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1997","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)","edition":"2"},{"key":"3_CR11","unstructured":"Nienaltowski, P.: Practical framework for contract-based concurrent object-oriented programming. PhD thesis, Swiss Federal Institute of Technology Zurich (2007)"},{"key":"3_CR12","unstructured":"Nienaltowski, P., Meyer, B.: Contracts for concurrency. In: First International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages, pp. 27\u201349 (2006)"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1007\/s00165-008-0073-8","volume":"21","author":"J.S. Ostroff","year":"2008","unstructured":"Ostroff, J.S., Torshizi, F.A., Huang, H.F., Schoeller, B.: Beyond contracts for concurrency. Formal Aspects of Computing\u00a021(4), 319\u2013346 (2008)","journal-title":"Formal Aspects of Computing"}],"container-title":["Lecture Notes in Computer Science","Advanced Lectures on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13010-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T00:03:31Z","timestamp":1552521811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13010-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642130090","9783642130106"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13010-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}