BARBANERA, Franco
BARBANERA, Franco
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.005 secondi).
A Game Interpretation of Retractable Contracts
2016-01-01 Barbanera, Franco; de’ Liguoro, Ugo
Compliance for reversible client/server interactions
2014-01-01 F. Barbanera; M. Dezani; U. de'Liguoro
Loosening the notions of compliance and sub-behaviour in client/server systems
2014-01-01 F. Barbanera; U. de'Liguoro
Sub-behaviour relations for session-based client/server systems
2014-01-01 Barbanera, Franco; De'Liguoro, Ugo
Two Notions of Sub-behaviour for Session-based Client/ServerSystems
2010-01-01 Franco Barbanera; Ugo de' Liguoro
Typing Asymmetric Client-Server Interaction
2010-01-01 Franco Barbanera; Sara Capecchi; Ugo de' Liguoro
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Game Interpretation of Retractable Contracts | 2016 | Barbanera, Franco; de’ Liguoro, Ugo | |
Compliance for reversible client/server interactions | 2014 | F. Barbanera; M. Dezani; U. de'Liguoro | |
Loosening the notions of compliance and sub-behaviour in client/server systems | 2014 | F. Barbanera; U. de'Liguoro | |
Sub-behaviour relations for session-based client/server systems | 2014 | Barbanera, Franco; De'Liguoro, Ugo | |
Two Notions of Sub-behaviour for Session-based Client/ServerSystems | 2010 | Franco Barbanera; Ugo de' Liguoro | |
Typing Asymmetric Client-Server Interaction | 2010 | Franco Barbanera; Sara Capecchi; Ugo de' Liguoro |