S4 is a general-purpose, distributed, scalable, partially fault-tolerant, pluggable platform that
allows programmers to easily develop applications for processing continuous unbounded …

Cloud computing is a new computing paradigm, combining diverse client devices--PCs,
smartphones, sensors, single-function, and embedded--with computation and data storage …

High-scale interactive services demand high throughput with low latency and high
availability, difficult goals to meet with the traditional stateless 3-tier architecture. The actor …

Concurrency in object-oriented languages is still waiting for a satisfactory solution. For many
application areas, standard mechanisms like threads and locks are too low level and have …

Originally conceived as the target platform for Java alone, the Java Virtual Machine (JVM)
has since been targeted by other languages, one of which is Scala. This trend, however, is …

Mixing the actor model with other concurrency models in a single program can break the
actor abstraction. This increases the chance of creating deadlocks and data races—two …

Theatre is an actor-based system currently implemented in Java, which enables modelling,
analysis and implementation of predictable time-dependent distributed systems like cyber …

To detect hard-to-find concurrency bugs, testing tools try to systematically explore all
possible interleavings of the transitions in a concurrent program. Unfortunately, because of …

The actor model of computation has gained significant popularity over the last decade. Its
high level of abstraction makes it appealing for concurrent applications in parallel and …

In this paper, we provide a survey of the different analysis techniques that are provided for
the modeling language Rebeca. Rebeca is designed as an imperative actor-based …