To program parallel systems efficiently and easily, a wide range of programming models
have been proposed, each with different choices concerning synchronization and …

Collective adaptive systems are new emerging computational systems consisting of a large
number of interacting components and featuring complex behaviour. These systems are …

Expressive power of a language is generally defined as the breadth of ideas that can be
represented and communicated in a language. For formal languages, the expressive power …

Afra is an Eclipse-based tool for the modeling and model checking of Rebeca family models.
Together with the standard enriched editor, easy to trace counter-example viewer, modular …

In cyber-physical systems like automotive systems, there are components like sensors,
actuators, and controllers that communicate asynchronously with each other. The …

In cyber-physical systems like automotive systems, there are components like sensors,
actuators, and controllers that communicate asynchronously with each other. The …

Wireless ad hoc networks, in particular mobile ad hoc networks (MANETs), are growing very
fast as they make communication easier and more available. However, their protocols tend …

Actor languages realize concurrency via message passing, which most of the time is easy to
use. Empirical code inspection provides evidence, however, that on occasion, programmers …

Vehicular ad hoc networks have attracted the attention of many researchers during the last
years due to the emergence of autonomous vehicles and safety concerns. Most of the …

One of the applications of Vehicular Ad-hoc NETworks, known as VANETs, is warning
message dissemination among vehicles in dangerous situations to prevent more damage …