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 …

Software model checking with abstraction refinement is emerging as a practical approach to
verify industrial software systems. Its distinguishing characteristics lie in the way it applies …

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 present the design of a small number of application level communication coordination
constructs which can be hierarchically combined to allow the expression of sophisticated …

This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks
in terms of lock free code written using Haskell's implementation of software transactional …

This paper formalizes the observable interface behavior of a concurrent, object-oriented
language with futures and promises. The calculus captures the core of Creol, a language …

More and more aspects of concurrency and concurrent programming are becoming part of
mainstream programming and software engineering, due to several factors such as the …

C ω extended C# 1. x with a simple, declarative and powerful model of concurrency–join
patterns–applicable both to multithreaded applications and to the orchestration of …

Increasingly threading has become an important architectural component of programming
languages to support parallel programming. Previously we have proposed an elegant …

Coordination can destroy scalability in parallel programming. A comprehensive library of
scalable synchronization primitives is therefore an essential tool for exploiting parallelism …