Author Search Results :: UTM Library Massive Scholar Tracking

1

Session Types for Orchestrated Interactions by Franco Barbanera, Ugo de'Liguoro

Published 2017-11-01

Get full text

Article
2

Loosening the notions of compliance and sub-behaviour in client/server systems by Franco Barbanera, Ugo de' Liguoro

Published 2014-10-01

Get full text

Article
3

Knowledge Spaces and the Completeness of Learning Strategies by Stefano Berardi, Ugo de'Liguoro

Published 2014-02-01

Get full text

Article
4

Retractability, games and orchestrators for session contracts by Franco Barbanera, Ugo de'Liguoro

Published 2017-08-01

Get full text

Article
5

Global Types for Open Systems by Franco Barbanera, Ugo de'Liguoro, Rolf Hennicker

Published 2018-10-01

Get full text

Article
6

Characterisation of Strongly Normalising lambda-mu-Terms by Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro

Published 2013-07-01

Get full text

Article
7

Compliance for reversible client/server interactions by Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de' Liguoro

Published 2014-08-01

Get full text

Article
8

Orchestrated Session Compliance by Franco Barbanera, Steffen van Bakel, Ugo de'Liguoro

Published 2015-08-01

Get full text

Article
9

Intersection Types for the lambda-mu Calculus by Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro

Published 2018-01-01

Get full text

Article
10

Retractable Contracts by Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro

Published 2016-02-01

Get full text

Article
11

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

Get full text

Article
12

Mixin Composition Synthesis based on Intersection Types by Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof

Published 2018-02-01

Get full text

Article