Distributed systems are often modeled by objects that run concurrently, each with its own
processor, and communicate by synchronous remote method calls. This may be satisfactory …

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 …

Object-oriented distributed computing is becoming increasingly important for critical
infrastructure in society. In standard object-oriented models, objects synchronize on method …

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 …

We introduce a novel approach to typestate-oriented programming based on the chemical
metaphor: state and operations on objects are molecules of messages, and state …

Erlang is an industrially successful functional language that uses the Actor model for
concurrency. It supports the message-passing paradigm by providing pattern-matching over …

Although asynchronous communication is an important feature of many concurrent systems,
building composable abstractions that leverage asynchrony is challenging. This is because …

While the actor model of concurrency is well appreciated for its ease of use, its scalability is
often criticized. Indeed, the fact that execution within an actor is sequential prevents certain …

Advanced concurrency abstractions overcome the drawbacks of low-level techniques such
as locks and monitors, freeing programmers that implement concurrent applications from the …

Join patterns provide a promising approach to the development of concurrent and
distributed message-passing applications. Several variations and implementations have …