Modern concurrency abstractions for C#

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2374, Issue , 2002, Pages 415-440

  Benton, Nick ^a   Cardelli, Luca ^a   Fournet, Cédric ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; OBJECT ORIENTED PROGRAMMING;

ASYNCHRONOUS CONCURRENCY; CONCURRENT PROGRAMMING; DESIGN AND IMPLEMENTATIONS; JOIN CALCULUS; POLYPHONIC C;

C (PROGRAMMING LANGUAGE);

EID: 84944036046     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47993-7_18     Document Type: Conference Paper

References (29)

1. G. Agha, P. Wegner, and A. Yonezawa. Research Directions in Concurrent Object-Oriented Programming. MIT Press, 1993.
2. P. America. Issues in the design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366–411, 1989.
3. 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.
4. 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.
5. A. D. Birrell. An introduction to programming with threads. Research Report 35, DEC SRC, January 1989.
6. L. Cardelli and R. Davies. Service combinators for web computing. Software Engineering, 25(3):309–316, 1999.
7. S. Chaki, S. K. Rajamani, and J. Rehof. Types as models: Model checking messagepassing programs. In Proceedings of the 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, 2002.
8. S. Conchon and F. Le Fessant. Jocaml: Mobile agents for Objective-Caml. In First International Symposium on Agent Systems and Applications (ASA’99)/Third International Symposium on Mobile Agents (MA’99), pages 22–29. IEEE Computer Society, October 1999. Software and documentation available from http://pauillac.inria.fr/jocaml.
9. D. L. Detlefs, K. R. M. Leino, G. Nelson, and J. B. Saxe. Extended static checking. Research Report 159, DEC SRC, December 1998.
10. ECMA. Standard ECMA-334: C_ Language Specification, December 2001.
11. C. Fournet and G. Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proc. POPL’96, pages 372–385. ACM, January 1996.
12. 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.
13. C. Fournet, C. Laneve, L. Maranget, and D. Rémy. Inheritance in the joincalculus (extended abstract). In FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science, volume 1974 of LNCS, pages 397–408, New Delhi, India, December 2000. Springer-Verlag. Full version available from http://research.microsoft.com/˜fournet.
14. J. Gosling, B. Joy, and G. Steele. Threads and locks. In The Java Language Specification, chapter 17. Addison Wesley, 1996.
15. 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–176. Springer, 2000.
16. C. A. R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM, 17(10):549–557, October 1974.
17. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
18. 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.
19. INMOS Limited. Occam Programming Manual. Prentice-Hall Int., 1984.
20. S. Kamin, editor. Proceedings of the First ACM-SIGPLAN Workshop on Domain-Specific Languages, Paris, France, January 1997.
21. J. R. Larus and M. Parkes. Using cohort scheduling to enhance server performance. Technical Report MSR-TR-2001-39, Microsoft Research, March 2001.
22. D. Lea. Concurrent Programming in Java: Design Principles and Patterns. Addison-Wesley, second edition edition, 1999.
23. F. Le Fessant and L. Maranget. Compiling join-patterns. In U. Nestmann and B. C. Pierce, editors, HLCL’98: High-Level Concurrent Languages, volume 16(3) of Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, September 1998.
24. S. Matsuoka and A. Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In AghaWegnerYonezawa [1], chapter 4, pages 107–150.
25. Microsoft Corporation. Terraservice. http://terraserver.microsoft.net/.
26. 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.
27. M. Odersky. Functional nets. In Proc. European Symposium on Programming, volume 1782 of LNCS, pages 1–25. Springer Verlag, 2000.
28. M. Philippsen. Imperative concurrent object-oriented languages: An annotated bibliography. Technical Report TR-95-049, International Computer Science Institute, Berkeley, CA, 1995.
29. J. C. Ramming, editor. Proceedings of the First USENIX Conference on Domain-Specific Languages, Santa Barbara, California, October 1997.