Edge computing promotes the execution of complex computational processes without the
cloud, ie, on top of the heterogeneous, articulated, and possibly mobile systems composed …

The tuple space coordination model is one of the most interesting coordination models for
open distributed systems due to its space and time decoupling and its synchronization …

As today's most complex computing environment, the Internet confronts IT researchers,
system designers, and application developers with completely new challenges and, as a …

To support and engineer the spatial coordination of distributed pervasive services, we
propose a chemical-inspired model, which extends tuple spaces with the ability of evolving …

Semantic technologies promise to solve many challenging problems of the present Web
applications. As they achieve a feasible level of maturity, they become increasingly accepted …

We propose a functorial concurrent semantics for Petri nets extended with read and inhibitor
arcs, that we call inhibitor nets. Along the lines of the seminal work by Winskel on safe …

Coordination models and languages are meant to provide abstractions and mechanisms to
harness the space of interaction as one of the foremost sources of complexity in …

Recent work in the area of coordination models and collective adaptive systems promotes a
view of distributed computations as functional blocks manipulating data structures spread …

We investigate the problem of extending the analysis techniques developed for P/T systems
to a proper subclass of P/T systems with inhibitor arcs. We start proposing an extension of …

A common use case for blockchain smart contracts (SC) is that of governing interaction
amongst mutually untrusted parties, by automatically enforcing rules for interaction …