{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T02:10:28Z","timestamp":1742436628960,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642252303"},{"type":"electronic","value":"9783642252310"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-25231-0_3","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T22:38:45Z","timestamp":1328654325000},"page":"89-157","source":"Crossref","is-referenced-by-count":2,"title":["A Formal Reference for SCOOP"],"prefix":"10.1007","author":[{"given":"Benjamin","family":"Morandi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Nanz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bertrand","family":"Meyer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1007\/978-3-540-39910-0_13","volume-title":"Verification: Theory and Practice","author":"E. \u00c1brah\u00e1m","year":"2004","unstructured":"\u00c1brah\u00e1m, E., de Boer, F.S., de Roever, W.-P., Steffen, M.: A compositional operational semantics for JavaMT. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol.\u00a02772, pp. 290\u2013303. Springer, Heidelberg (2004)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Allen, E., Chase, D., Luchangco, V., Maessen, J.W., Steele Jr., G.L.: Object-oriented units of measurement. In: Conference on Object Oriented Programming Systems Languages and Applications, pp. 384\u2013403 (2004)","DOI":"10.1145\/1028976.1029008"},{"issue":"5","key":"3_CR3","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1145\/1018203.1018205","volume":"26","author":"N. Benton","year":"2004","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. ACM Transactions on Programming Languages and Systems\u00a026(5), 269\u2013804 (2004)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"8","key":"3_CR4","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/209937.209958","volume":"30","author":"R.D. Blumofe","year":"1995","unstructured":"Blumofe, R.D., Joerg, C.F., Kuszmaul, B.C., Leiserson, C.E., Randall, K.H., Zhou, Y.: Cilk: An efficient multithreaded runtime system. ACM SIGPLAN Notices\u00a030(8), 207\u2013216 (1995)","journal-title":"ACM SIGPLAN Notices"},{"issue":"4","key":"3_CR5","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1007\/s00165-007-0033-8","volume":"19","author":"P.J. Brooke","year":"2007","unstructured":"Brooke, P.J., Paige, R.F., Jacob, J.L.: A CSP model of Eiffel\u2019s SCOOP. Formal Aspects of Computing\u00a019(4), 487\u2013512 (2007)","journal-title":"Formal Aspects of Computing"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-48737-9_5","volume-title":"Formal Syntax and Semantics of Java","author":"P. Cenciarelli","year":"1999","unstructured":"Cenciarelli, P., Knapp, A., Reus, B., Wirsing, M.: An Event-Based Structural Operational Semantics of Multi-threaded Java. In: Alves-Foss, J. (ed.) Formal Syntax and Semantics of Java. LNCS, vol.\u00a01523, pp. 157\u2013200. Springer, Heidelberg (1999)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Charles, P., Grothoff, C., Saraswat, V., Donawa, C., Kielstra, A., Ebcioglu, K., von Praun, C., Sarkar, V.: X10: An object-oriented approach to non-uniform cluster computing. In: Conference on Object Oriented Programming Systems Languages and Applications, pp. 519\u2013538 (2005)","DOI":"10.1145\/1094811.1094852"},{"issue":"2","key":"3_CR8","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_CR9","unstructured":"ECMA: ECMA-367 Eiffel: Analysis, design and programming language 2nd edn. Tech. rep., ECMA International (2006)"},{"key":"3_CR10","unstructured":"Ericsson Erlang website (2011), http:\/\/www.erlang.org\/"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Fournet, C., Gonthier, G.: The reflexive CHAM and the join-calculus. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 372\u2013385 (1996)","DOI":"10.1145\/237721.237805"},{"key":"3_CR12","unstructured":"Gelernter, D., Carriero, N., Chandran, S., Chang, S.: Parallel programming in Linda. In: International Conference on Parallel Processing, pp. 255\u2013263 (1985)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall (1985)","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"3_CR14","unstructured":"International Organization for Standardization: ISO\/IEC 8652:1995 Ada. Tech. rep., International Organization for Standardization (1995)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Joyner, M., Chamberlain, B.L., Deitz, S.J.: Iterators in Chapel. In: International Parallel and Distributed Processing Symposium\/International Parallel Processing Symposium (2006)","DOI":"10.1109\/IPDPS.2006.1639499"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Khoshafian, S., Copeland, G.P.: Object identity. In: Conference on Object Oriented Programming Systems Languages and Applications. pp. 406\u2013416 (1986)","DOI":"10.1145\/28697.28739"},{"issue":"4","key":"3_CR17","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1145\/1146809.1146811","volume":"28","author":"G. Klein","year":"2006","unstructured":"Klein, G., Nipkow, T.: A machine-checked model for a Java-like language, virtual machine and compiler. ACM Transactions on Programming Languages and Systems\u00a028(4), 619\u2013695 (2006)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"3_CR18","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/942572.807045","volume":"9","author":"B. Liskov","year":"1974","unstructured":"Liskov, B., Zilles, S.: Programming with abstract data types. ACM SIGPLAN Notices\u00a09(4), 50\u201359 (1974)","journal-title":"ACM SIGPLAN Notices"},{"key":"3_CR19","unstructured":"Lochbihler, A.: Type safe nondeterminism \u2013 A formal semantics of Java threads. In: International Workshop on Foundations of Object-Oriented Languages (2008)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Meyer, B.: A three-level approach to data structure description, and notational framework. In: ACM-NBS Workshop on Data Abstraction, Databases and Conceptual Modelling, pp. 164\u2013166 (1981)","DOI":"10.1145\/960128.806910"},{"key":"3_CR21","unstructured":"Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice-Hall (1997)"},{"key":"3_CR22","unstructured":"Microsoft Axum website (2011), http:\/\/msdn.microsoft.com\/en-us\/devlabs\/dd795202.aspx\/"},{"key":"3_CR23","unstructured":"Milner, R.: Communicating and mobile systems: the \u03c0-calculus. Cambridge University Press (1999)"},{"key":"3_CR24","unstructured":"Morandi, B., Nanz, S., Meyer, B.: A comprehensive operational semantics of the SCOOP programming model (2011), http:\/\/arxiv.org\/abs\/1101.1038v1"},{"key":"3_CR25","unstructured":"Nienaltowski, P.: Practical framework for contract-based concurrent object-oriented programming. Ph.D. thesis, ETH Zurich (2007)"},{"key":"3_CR26","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-642-02571-6_12","volume-title":"Objects, Components, Models and Patterns","author":"M. Nordio","year":"2009","unstructured":"Nordio, M., Calcagno, C., M\u00fcller, P., Meyer, B.: A Sound and Complete Program Logic for Eiffel. In: Oriol, M., Meyer, B. (eds.) TOOLS EUROPE 2009. LNBIP, vol.\u00a033, pp. 195\u2013214. Springer, Heidelberg (2009)"},{"key":"3_CR27","unstructured":"Odersky, M.: The Scala language specification version 2.8. Tech. rep., Swiss Federal Institute of Technology Lausanne (2010)"},{"issue":"4","key":"3_CR28","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"},{"key":"3_CR29","first-page":"17","volume":"60\u201361","author":"G.D. Plotkin","year":"2004","unstructured":"Plotkin, G.D.: A structural approach to operational semantics. The Journal of Logic and Algebraic Programming\u00a060\u201361, 17\u2013139 (2004)","journal-title":"The Journal of Logic and Algebraic Programming"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Schmidt, H.W., Chen, J.: Reasoning about concurrent objects. In: Asia-Pacific Software Engineering Conference, p. 86 (1995)","DOI":"10.1109\/APSEC.1995.496957"},{"key":"3_CR31","unstructured":"SCOOP website (2011), http:\/\/scoop.origo.ethz.ch\/"},{"key":"3_CR32","unstructured":"SGS-THOMSON Microelectronics Limited: occam 2.1 reference manual. Tech. rep., SGS-THOMSON Microelectronics Limited (1995)"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Torshizi, F., Ostroff, J.S., Paige, R.F., Chechik, M.: The SCOOP concurrency model in Java-like languages. In: Communicating Process Architectures, pp. 155\u2013178. IOS (2009)","DOI":"10.3233\/978-1-60750-065-0-7"}],"container-title":["Lecture Notes in Computer Science","Empirical Software Engineering and Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25231-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T01:41:11Z","timestamp":1742434871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25231-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642252303","9783642252310"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25231-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}