Over the past decades, coordination languages have emerged for the specification and
implementation of interaction protocols for communicating software components. This class …

Business process modeling and implementation of process supporting infrastructures are
two challenging tasks that are not fully aligned. On the one hand, languages such as …

Traditional models of concurrency resort to peculiarly indirect means to express interaction
and study its properties. Formalisms such as process algebras/calculi, concurrent objects …

In this paper, we present a framework for formal modeling and verification of service-based
business processes with focus on their compliance to external regulations such as …

This work contributes to the field of coordination, in particular to Reo, by improving existing
approaches to execute synchronisation models in three major ways. First, this work supports …

The CONNECT European project that started in February 2009 aims at drop** the
interoperability barrier faced by todaypsilas distributed systems. It does so by adopting a …

Coordination in Reo emerges from the composition of the behavioural constraints of
primitives, such as channels, in a component connector. Understanding and implementing …

Abstract The Internet-of-Things (IoT) is expected to swamp the world. In order to study and
understand the emergent behaviour of connected things, effective support for their modelling …

Coordination in Reo emerges from the composition of the behavioural constraints of the
primitives, such as channels, in a component connector. Understanding and implementing …

VirtuosoNext TM is a distributed real-time operating system (RTOS) featuring a generic
programming model dubbed Interacting Entities. This paper focuses on these interactions …