On Learning Nominal Automata with Binders

by Yi Xiao, Emilio Tuosto
Published 2019-09-01

A Modular Toolkit for Distributed Interactions

by Julien Lange, Emilio Tuosto
Published 2011-10-01

On Recovering from Run-time Misbehaviour in ADR

by Kyriakos Poyias, Emilio Tuosto
Published 2013-10-01

Enforcing Architectural Styles in Presence of Unexpected Distributed Reconfigurations

by Kyriakos Poyias, Emilio Tuosto
Published 2012-12-01

An Abstract Semantics of the Global View of Choreographies

by Roberto Guanciale, Emilio Tuosto
Published 2016-08-01

Realisability of Pomsets via Communicating Automata

by Roberto Guanciale Dr, Emilio Tuosto Dr
Published 2018-10-01

Contracts in distributed systems

by Massimo Bartoletti, Emilio Tuosto, Roberto Zunino
Published 2011-07-01

Interface Automata for Choreographies

by Hao Zeng, Alexander Kurz, Emilio Tuosto
Published 2019-09-01

Heuristic Methods for Security Protocols

by Qurat ul Ain Nizamani, Emilio Tuosto
Published 2009-10-01

Amending Contracts for Choreographies

by Laura Bocchi, Julien Lange, Emilio Tuosto
Published 2011-07-01

Tool Supported Analysis of IoT

by Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Emilio Tuosto
Published 2017-11-01

Communicating machines as a dynamic binding mechanism of services

by Ignacio Vissani, Carlos Gustavo Lopez Pombo, Emilio Tuosto
Published 2016-02-01

Reliability and Fault-Tolerance by Choreographic Design

by Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina, Emilio Tuosto
Published 2017-08-01

From Orchestration to Choreography through Contract Automata

by Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari, Emilio Tuosto
Published 2014-10-01