20 citations · 133 across the 34 of their papers we have counts for
4 papers · 1 filter
Behavioural Types for Local-First Software
Roland Kuhn, Hernán Melgratti, Emilio Tuosto
Peer-to-peer systems are the most resilient form of distributed computing, but the design of robust protocols for their coordination is difficult. This makes it hard to specify and…
A Modular Toolkit for Distributed Interactions
Julien Lange, Emilio Tuosto
We discuss the design, architecture, and implementation of a toolkit which supports some theories for distributed interactions. The main design principles of our architecture are f…
Amending Contracts for Choreographies
Laura Bocchi, Julien Lange, Emilio Tuosto
Distributed interactions can be suitably designed in terms of choreographies. Such abstractions can be thought of as global descriptions of the coordination of several distributed…
Toward a Formal Semantics for Autonomic Components
Marco Aldinucci, Emilio Tuosto
Autonomic management can improve the QoS provided by parallel/ distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic…