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

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

Currently web services constitute one of the most important topics in the realm of the World
Wide Web. Composition of web services lets developers create applications on top of …

The recent introduction of the big data paradigm and advancements in machine learning
and deep mining techniques have made proof guidance and automation in interactive …

Connectors have emerged as a powerful concept for composition and coordination of
concurrent activities encapsulated as components and services. Compositional coordination …

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

Compositional coordination models such as Reo provide powerful support for the
development of large-scale distributed systems by allowing construction of complex …

Q–automata are introduced to model quality aspects of component-based software. We
propose Q-algebras as a general framework that allows us to combine and choose between …

A promising new application domain for coordination languages is expressing interaction
protocols among threads/processes in multicore programs: coordination languages typically …

Complexity of intra-and inter-systems interactions is steadily increasing in modern
application scenarios such as the Internet of Things, therefore coordination technologies are …