Session Types for Orchestrated Interactions

by Franco Barbanera, Ugo de'Liguoro
Published 2017-11-01

Loosening the notions of compliance and sub-behaviour in client/server systems

by Franco Barbanera, Ugo de' Liguoro
Published 2014-10-01

Non-monotonic Pre-fixed Points and Learning

by Stefano Berardi, Ugo de' Liguoro
Published 2013-08-01

Global Types for Open Systems

by Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker
Published 2018-10-01

Characterisation of Strongly Normalising lambda-mu-Terms

by Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro
Published 2013-07-01

Secure Multiparty Sessions with Topics

by Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Published 2016-06-01

Orchestrated Session Compliance

by Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro
Published 2015-08-01

Compliance for reversible client/server interactions

by Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro
Published 2014-08-01

Retractable Contracts

by Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro
Published 2016-02-01

Typing Classes and Mixins with Intersection Types

by Jan Bessai, Boris Düdder, Andrej Dudenhefner, Tzu-Chun Chen, Ugo de'Liguoro
Published 2015-03-01