Concurrent reversibility has been studied in different areas, such as biological or
dependable distributed systems. However, only “rigid” reversibility has been considered …

Concurrent ML (CML) is a high-level message-passing language that supports the
construction of first-class synchronous abstractions called events. This mechanism has …

E-FRP is declarative language for programming resource-bounded, event-driven systems.
The original high-level semantics of E-FRP requires that each event handler execute …

Join patterns are an attractive declarative way to synchronize both threads and
asynchronous distributed computations. We explore joins in the context of extensible pattern …

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

Many concurrent programming models enable both transactional memory and message
passing. For such models, researchers have built increasingly efficient implementations and …

In Concurrent ML, synchronization abstractions can be defined and passed as values, much
like functions in ML. This mechanism admits a powerful, modular style of concurrent …

Efficient communication and synchronization is crucial for fine grained parallelism. Libraries
providing such features, while indispensable, are difficult to write, and often cannot be …

Event Processing (EP) is concerned with detection of situations under time constraints that
are of a particular business interest. We face today a paradigm shift toward the real time …

Concurrent programs require high-level abstractions in order to manage complexity and
enable compositional reasoning. In this paper, we introduce a novel concurrency …