• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Modern Concurrency Abstractions for C# (2002)

Cached

  • Download as a PDF
    •  
  • Download as a PS

Download Links

  • [research.microsoft.com]
  • [research.microsoft.com]
  • [www.research.microsoft.com]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [www.research.microsoft.com]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [research.microsoft.com]
  • [www.cis.upenn.edu]

    • Other Repositories/Bibliography

  • DBLP
  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Nick Benton , Luca Cardelli , Cedric Fournet
Venue:ACM TRANS. PROGRAM. LANG. SYST
Citations:111 - 2 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@INPROCEEDINGS{Benton02modernconcurrency,
    author = {Nick Benton and Luca Cardelli and Cedric Fournet},
    title = {Modern Concurrency Abstractions for C#},
    booktitle = {ACM TRANS. PROGRAM. LANG. SYST},
    year = {2002},
    pages = {415--440},
    publisher = {Springer}
}

Years of Citing Articles

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Polyphonic C# is an extension of the C# language with new asynchronous concurrency constructs, based on the join calculus. We describe the design and implementation of the language and give examples of its use in addressing a range of concurrent programming problems.

Citations

1008 Actors: a model of concurrent computation in distributed systems - Agha - 1986
446 Monitors - An Operating System Structuring Concept - Hoare - 1974
375 Viewing control structures as patterns of passing messages - Hewitt - 1977
273 Extended static checking - Detlefs, Leino, et al. - 1998
238 Pict: A programming language based on the pi-calculus - Pierce, Turner - 2000
231 The reflexive chemical abstract machine and the join-calculus - Fournet, Gonthier - 1996
163 Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages - Matsuoka, Yonezawa - 1993
157 Concurrent Programming in Java. Design Principles and Patterns, 2 nd edition - Lea - 1999
148 Simula: An Algol-based Simulation Language - Dahl, Nygaard - 1966
121 ABCL: An Object-Oriented Concurrent System - Yonezawa - 1990
108 D.: Design and implementation of generics for the .NET common language runtime - Kennedy, Syme - 2001
102 An Introduction to Programming with Threads - Birrell - 1989
82 An Overview of the SR Language and Implementation - Andrews, Ol88on, et al. - 1986
81 A Generic Type System for the PiCalculus - Igarashi, Kobayashi - 2004
73 Using cohort scheduling to enhance server performance - Larus, Parkes - 2002
72 R.: Service combinators for web computing - Cardelli, Davies - 1999
70 Types as models: Model Checking Message-Passing Programs - Chaki, Rajamani, et al. - 2002
66 Issues in the design of a parallel object-oriented language - America - 1989
58 A parallel machine for multiset transformation and its programming style. Future Generation Computer Systems - Banatre, Coutant, et al. - 1988
58 Higher-order concurrent programs with finite communication topology - Nielson, Nielson - 1994
47 The join calculus: a language for distributed mobile programming - Fournet, Gonthier
38 Microsoft TerraServer: a spatial data warehouse - Barclay, Gray, et al.
38 Synchronization primitives for a multiprocessor: a formal specification - Birrell, Guttag, et al. - 1987
37 Jocaml: Mobile agents for Objective-Caml - Conchon, Fessant - 1999
34 Functional nets - Odersky - 2000
31 Concurrent ML: Design, Application and Semantics - Reppy - 1993
19 Compiling Join-Patterns - Fessant, Maranget - 2000
17 High-level Petri nets as type theories in the join calculus - Buscemi, Sassone - 2001
17 Join Java: An alternative concurrency semantics for Java - Itzstein, Kearney - 2001
12 Extended Static Checking Research Report 159 - Detlefs, Leino, et al.
12 D.: Applications of Join Java - Itzstein, Kearney - 2002
11 A New Exercise in Concurrency - Trono - 1994
10 Investigating Java concurrency using abstract state machines - Gurevich, Schulte, et al. - 1999
8 ECMA-334: C# Language Specification - Standard - 2001
7 On implementing high level concurrency in Java - Itzstein, Jasiunas - 2003
6 Jingle bells: Solving the Santa Claus problem - Benton - 2003
5 Higher-order concurrent programs with communication topology - Nielson, Nielson - 1994
4 Imperative concurrent object-oriented languages: An annotated bibliography - Philippsen - 1995
3 How to solve the Santa Claus problem - Ben-Ari - 1998
2 Inheritance in the join-calculus (extended abstract - Fournet, Laneve, et al. - 2000
2 Threads and locks - Gosling, Joy, et al. - 1996
1 submitted to - Draft - 2002
1 Microsoft TerraServer: Aspatial data warehouse - Barclay, Gray, et al. - 2000
1 Synchronization primitives for a multiprocessor: Aformal specification - Birrell, Guttag, et al. - 1987
1 TheSRProgramming Language: Concurrency in Practice. Benjamin/Cummings - ANDREWS, A - 1993
1 Modern Concurrency Abstractions for C ♯ • 803 - BARCLAY, GRAY, et al. - 2002
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University