Communicating sequential processes
Communicating sequential processes
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
An overview of the SR language and implementation
ACM Transactions on Programming Languages and Systems (TOPLAS)
A parallel machine for multiset transformation and its programming style
Future Generation Computer Systems
ABCL: an object-oriented concurrent system
ABCL: an object-oriented concurrent system
Issues in the design of a parallel object-oriented language
Formal Aspects of Computing
The SR programming language: concurrency in practice
The SR programming language: concurrency in practice
Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
Higher-order concurrent programs with finite communication topology (extended abstract)
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGCSE Bulletin
The reflexive CHAM and the join-calculus
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Service Combinators for Web Computing
IEEE Transactions on Software Engineering
Microsoft TerraServer: a spatial data warehouse
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Pict: a programming language based on the Pi-Calculus
Proof, language, and interaction
A generic type system for the Pi-calculus
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Monitors: an operating system structuring concept
Communications of the ACM
SIMULA: an ALGOL-based simulation language
Communications of the ACM
Types as models: model checking message-passing programs
POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent Programming in Java. Second Edition: Design Principles and Patterns
Concurrent Programming in Java. Second Edition: Design Principles and Patterns
CRPIT '02 Proceedings of the seventh Asia-Pacific conference on Computer systems architecture
Concurrent ML: Design, Application and Semantics
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
The Join Calculus: A Language for Distributed Mobile Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Jocaml: Mobile Agents for Objective-Caml
ASAMA '99 Proceedings of the First International Symposium on Agent Systems and Applications Third International Symposium on Mobile Agents
Occam Programming Manual
Transparent proxies for java futures
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Exclusion requirements and potential concurrency for composite objects
Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
Type-based publish/subscribe: Concepts and experiences
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
A Calculus of Global Interaction based on Session Types
Electronic Notes in Theoretical Computer Science (ENTCS)
simpA: an agent-oriented approach for prototyping concurrent applications on top of Java
Proceedings of the 5th international symposium on Principles and practice of programming in Java
Confessions of a used programming language salesman
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Concurrent software engineering: preparing for paradigm shift
Proceedings of the 2008 C3S2E conference
Synchronizing control flow in a tuplespace-based, distributed workflow management system
Proceedings of the 10th international conference on Electronic commerce
simpA: A Simple Agent-Oriented Java Extension for Developing Concurrent Applications
Languages, Methodologies and Development Tools for Multi-Agent Systems
Session-Based Distributed Programming in Java
ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming
Join patterns for visual basic
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Programming languages as part of core computer science
ACM SIGPLAN Notices
Proceedings of the 4th workshop on Declarative aspects of multicore programming
Structured Interacting Computations
Software-Intensive Systems and New Computing Paradigms
Synchronization as a Special Case of Access Control
Electronic Notes in Theoretical Computer Science (ENTCS)
Context-oriented programming with EventJava
International Workshop on Context-Oriented Programming
EventJava: An Extension of Java for Event Correlation
Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
Tool Support for Holistic Modelling of Distributed Embedded Systems in Creol
Electronic Notes in Theoretical Computer Science (ENTCS)
SCHOOL: a Small Chorded Object-Oriented Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Santa Claus: Formal analysis of a process-oriented solution
ACM Transactions on Programming Languages and Systems (TOPLAS)
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
Links: web programming without tiers
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Implementing joins using extensible pattern matching
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Implicit invocation meets safe, implicit concurrency
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Concurrency by modularity: design patterns, a case in point
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
simpA: An agent-oriented approach for programming concurrent applications on top of Java
Science of Computer Programming
Building scalable software systems in the multicore era
Proceedings of the FSE/SDP workshop on Future of software engineering research
Type-safe eventful sessions in java
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Self-replicating objects for multicore platforms
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
EScala: modular event-driven object interactions in scala
Proceedings of the tenth international conference on Aspect-oriented software development
Putting events in context: aspects for event-based distributed programming
Proceedings of the tenth international conference on Aspect-oriented software development
EventCJ: a context-oriented programming language with declarative event-based context transition
Proceedings of the tenth international conference on Aspect-oriented software development
Program analysis for event-based distributed systems
Proceedings of the 5th ACM international conference on Distributed event-based system
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs
Internal and external token-based synchronization in object-oriented languages
JMLC'06 Proceedings of the 7th joint conference on Modular Programming Languages
The essence of data access in Cω: the power is in the dot!
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Model checking for nominal calculi
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Modelling fusion calculus using HD-Automata
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Adding high-level concurrency to EScala
Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion
Concurrency, Compositionality, and Correctness
The role of programming languages in future data-centric and net-centric applications
ICDCIT'06 Proceedings of the Third international conference on Distributed Computing and Internet Technology
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Scalable efficient composite event detection
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Empirical Software Engineering and Verification
Structured Communication-Centered Programming for Web Services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Control flow analysis for the join calculus
SAS'12 Proceedings of the 19th international conference on Static Analysis
Abstracting context in event-based software
Transactions on Aspect-Oriented Software Development IX
Aggregation for implicit invocations
Proceedings of the 12th annual international conference on Aspect-oriented software development
Science of Computer Programming
| Hi-index | 0.00 |
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.