Sfoglia per Autore
Mostrati risultati da 1 a 6 di 6
A Game Interpretation of Retractable Contracts
2016-01-01 Barbanera, Franco; de’ Liguoro, Ugo
Sub-behaviour relations for session-based client/server systems
2014-01-01 Barbanera, Franco; De'Liguoro, Ugo
Loosening the notions of compliance and sub-behaviour in client/server systems
2014-01-01 F. Barbanera; U. de'Liguoro
Compliance for reversible client/server interactions
2014-01-01 F. Barbanera; M. Dezani; U. de'Liguoro
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 | |
Sub-behaviour relations for session-based client/server systems | 2014 | Barbanera, Franco; De'Liguoro, Ugo | |
Loosening the notions of compliance and sub-behaviour in client/server systems | 2014 | F. Barbanera; U. de'Liguoro | |
Compliance for reversible client/server interactions | 2014 | F. Barbanera; M. Dezani; U. de'Liguoro | |
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 |
Mostrati risultati da 1 a 6 di 6
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile