{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:24Z","timestamp":1761597024117,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540437598"},{"type":"electronic","value":"9783540479932"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-47993-7_18","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T05:12:20Z","timestamp":1179205940000},"page":"415-440","source":"Crossref","is-referenced-by-count":32,"title":["Modern Concurrency Abstractions for C#"],"prefix":"10.1007","author":[{"given":"Nick","family":"Benton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9dric","family":"Fournet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,5,29]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"G. Agha, P. Wegner, and A. Yonezawa. Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.001.0001"},{"issue":"4","key":"18_CR2","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01887214","volume":"1","author":"P. America","year":"1989","unstructured":"P. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366\u2013411, 1989.","journal-title":"Formal Aspects of Computing"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"T. Barclay, J. Gray, and D. Slutz. Microsoft TerraServer: A spatial data warehouse. In Proceedings of ACM SIGMOD, May 2000. Also Microsoft Research Tech Report MS-TR-99-29.","DOI":"10.1145\/335191.335424"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"A. D. Birrell, J. V. Guttag, J. J. Horning, and R. Levin. Synchronization primitives for a multiprocessor: A formal specification. Research Report 20, DEC SRC, August 1987.","DOI":"10.1145\/41457.37509"},{"key":"18_CR5","unstructured":"A. D. Birrell. An introduction to programming with threads. Research Report 35, DEC SRC, January 1989."},{"issue":"3","key":"18_CR6","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/32.798321","volume":"25","author":"L. Cardelli","year":"1999","unstructured":"L. Cardelli and R. Davies. Service combinators for web computing. Software Engineering, 25(3):309\u2013316, 1999.","journal-title":"Software Engineering"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"S. Chaki, S. K. Rajamani, and J. Rehof. Types as models: Model checking message-passing programs. In Proceedings of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 2002.","DOI":"10.1145\/503272.503278"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"S. Conchon and F. Le Fessant. Jocaml: Mobile agents for Objective-Caml. In First International Symposium on Agent Systems and Applications (ASA\u201999)\/Third International Symposium on Mobile Agents (MA\u201999), pages 22\u201329. IEEE Computer Society, October 1999. Software and documentation available from http:\/\/pauillac.inria.fr\/jocaml .","DOI":"10.1109\/ASAMA.1999.805390"},{"key":"18_CR9","unstructured":"D. L. Detlefs, K. R. M. Leino, G. Nelson, and J. B. Saxe. Extended static checking. Research Report 159, DEC SRC, December 1998."},{"key":"18_CR10","unstructured":"ECMA. Standard ECMA-334: C# Language Specification, December 2001."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proc. POPL\u201996, pages 372\u2013385. ACM, January 1996.","DOI":"10.1145\/237721.237805"},{"key":"18_CR12","unstructured":"C. Fournet and G. Gonthier. The join calculus: a language for distributed mobile programming. In Proceedings of the Applied Semantics Summer School (APPSEM), Caminha, September 2000. To appear. Draft available from http:\/\/research.microsoft.com\/~fournet ."},{"key":"18_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/3-540-44450-5_32","volume-title":"FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science","author":"C. Fournet","year":"2000","unstructured":"C. Fournet, C. Laneve, L. Maranget, and D. R\u00e9my. Inheritance in the join-calculus (extended abstract). In FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, volume 1974 of LNCS, pages 397\u2013408, New Delhi, India, December 2000. Springer-Verlag. Full version available from http:\/\/research.microsoft.com\/~fournet ."},{"key":"18_CR14","unstructured":"J. Gosling, B. Joy, and G. Steele. Threads and locks. In The Java Language Specification, chapter 17. Addison Wesley, 1996."},{"key":"18_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/3-540-44518-8_10","volume-title":"Abstract State Machines: Theory and Applications","author":"Y. Gurevich","year":"2000","unstructured":"Y. Gurevich, W. Schulte, and C. Wallace. Investigating Java concurrency using abstract state machines. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, editors, Abstract State Machines: Theory and Applications, volume 1912 of Lecture Notes in Computer Science, pages 151\u2013176. Springer, 2000."},{"issue":"10","key":"18_CR16","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/355620.361161","volume":"17","author":"C. A. R. Hoare","year":"1974","unstructured":"C. A. R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM, 17(10):549\u2013557, October 1974.","journal-title":"Communications of the ACM"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.","DOI":"10.1007\/978-3-642-82921-5_4"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"A. Igarashi and N. Kobayashi. A generic type system for the Pi-Calculus. In Proceedings of the 28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 2001.","DOI":"10.1145\/360204.360215"},{"key":"18_CR19","unstructured":"INMOS Limited. Occam Programming Manual. Prentice-Hall Int., 1984."},{"key":"18_CR20","unstructured":"S. Kamin, editor. Proceedings of the First ACM-SIGPLAN Workshop on Domain-Specific Languages, Paris, France, January 1997."},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"J. R. Larus and M. Parkes. Using cohort scheduling to enhance server performance. Technical Report MSR-TR-2001-39, Microsoft Research, March 2001.","DOI":"10.1145\/384198.384222"},{"key":"18_CR22","unstructured":"D. Lea. Concurrent Programming in Java: Design Principles and Patterns. Addison-Wesley, second edition edition, 1999."},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"F. Le Fessant and L. Maranget. Compiling join-patterns. In U. Nestmann and B. C. Pierce, editors, HLCL\u2019 98: High-Level Concurrent Languages, volume 16(3) of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, September 1998.","DOI":"10.1016\/S1571-0661(04)00143-4"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In AghaWegner Yonezawa [1], chapter 4, pages 107\u2013150.","DOI":"10.7551\/mitpress\/2087.003.0007"},{"key":"18_CR25","unstructured":"Microsoft Corporation. Terraservice. http:\/\/terraserver.microsoft.net\/ ."},{"key":"18_CR26","doi-asserted-by":"crossref","unstructured":"H. R. Nielson and F. Nielson. Higher-order concurrent programs with finite communication topology. In Proceedings of the 21st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 1994.","DOI":"10.1145\/174675.174538"},{"key":"18_CR27","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. European Symposium on Programming","author":"M. Odersky","year":"2000","unstructured":"M. Odersky. Functional nets. In Proc. European Symposium on Programming, volume 1782 of LNCS, pages 1\u201325. Springer Verlag, 2000."},{"key":"18_CR28","volume-title":"Technical Report TR-95-049","author":"M. Philippsen","year":"1995","unstructured":"M. Philippsen. Imperative concurrent object-oriented languages: An annotated bibliography. Technical Report TR-95-049, International Computer Science Institute, Berkeley, CA, 1995."},{"key":"18_CR29","unstructured":"J. C. Ramming, editor. Proceedings of the First USENIX Conference on Domain-Specific Languages, Santa Barbara, California, October 1997."}],"container-title":["Lecture Notes in Computer Science","ECOOP 2002 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47993-7_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T08:19:14Z","timestamp":1737015554000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47993-7_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540437598","9783540479932"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-47993-7_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2002]]}}}