Sfoglia per Autore
A Filter Model for lambda-mu
file da validare2011-01-01 Barbanera, Franco; VAN BAKEL, S; De'Liguoro, U.
Characterisation of Strongly Normalising lambda-mu-Terms
file da validare2013-01-01 Barbanera, Franco; VAN BAKEL, S; De'Liguoro, U.
Compliance for reversible client/server interactions
file da validare2014-01-01 Barbanera, Franco; Dezani, M; De'Liguoro, U.
Loosening the notions of compliance and sub-behaviour in client/server systems
file da validare2014-01-01 Barbanera, Franco; De'Liguoro, U.
Sub-behaviour relations for session-based client/server systems
2015-01-01 Barbanera, Franco; De'Liguoro, U.
Orchestrated Session Compliance
2015-01-01 Barbanera, Franco; van Bakel, S; De'Liguoro, U.
Retractable Contracts
2016-01-01 Barbanera, Franco; Dezani Ciancaglini, F; Lanese, I; de' Liguoro, U.
A Game Interpretation of Retractable Contracts
2016-01-01 Barbanera, Franco; de' Liguoro, U.
Reversible client/server interactions
2016-01-01 Barbanera, Franco; Dezani Ciancaglini, M; de' Liguoro, U.
Orchestrated Session Compliance
2016-01-01 Barbanera, Franco; van Bakel, S; de' Liguoro, U.
Retractable and speculative contracts
2017-01-01 Barbanera, Franco; Lanese, Ivan; De’Liguoro, Ugo
Retractability, games and orchestrators for session contracts
2017-01-01 Barbanera, Franco; De'Liguoro, Ugo
Intersection Types for the lambda-mu Calculus
2018-01-01 van Bakel, Steffen; Barbanera, Franco; De'Liguoro, Ugo
Global Types for Open Systems
2018-01-01 Barbanera, Franco; De'Liguoro, Ugo; Hennicker, Rolf
A theory of retractable and speculative contracts
2018-01-01 Barbanera, Franco; Lanese, Ivan; De'Liguoro, Ugo
Session types and subtyping for orchestrated interactions
2019-01-01 Barbanera, Franco; de' Liguoro, Ugo
Connecting open systems of communicating finite state machines
2019-01-01 Barbanera, Franco; De'Liguoro, Ugo; Hennicker, Rolf
Two notions of sub-behaviour for session-based client/server systems: 10 Years Later
file da validare2020-01-01 Barbanera, Franco; De'Liguoro, Ugo
Composing Communicating Systems, Synchronously
file da validare2020-01-01 Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
Choreography Automata
file da validare2020-01-01 Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Filter Model for lambda-mu | 1-gen-2011 | Barbanera, Franco; VAN BAKEL, S; De'Liguoro, U. | file da validare |
| Characterisation of Strongly Normalising lambda-mu-Terms | 1-gen-2013 | Barbanera, Franco; VAN BAKEL, S; De'Liguoro, U. | file da validare |
| Compliance for reversible client/server interactions | 1-gen-2014 | Barbanera, Franco; Dezani, M; De'Liguoro, U. | file da validare |
| Loosening the notions of compliance and sub-behaviour in client/server systems | 1-gen-2014 | Barbanera, Franco; De'Liguoro, U. | file da validare |
| Sub-behaviour relations for session-based client/server systems | 1-gen-2015 | Barbanera, Franco; De'Liguoro, U. | |
| Orchestrated Session Compliance | 1-gen-2015 | Barbanera, Franco; van Bakel, S; De'Liguoro, U. | |
| Retractable Contracts | 1-gen-2016 | Barbanera, Franco; Dezani Ciancaglini, F; Lanese, I; de' Liguoro, U. | |
| A Game Interpretation of Retractable Contracts | 1-gen-2016 | Barbanera, Franco; de' Liguoro, U. | |
| Reversible client/server interactions | 1-gen-2016 | Barbanera, Franco; Dezani Ciancaglini, M; de' Liguoro, U. | |
| Orchestrated Session Compliance | 1-gen-2016 | Barbanera, Franco; van Bakel, S; de' Liguoro, U. | |
| Retractable and speculative contracts | 1-gen-2017 | Barbanera, Franco; Lanese, Ivan; De’Liguoro, Ugo | |
| Retractability, games and orchestrators for session contracts | 1-gen-2017 | Barbanera, Franco; De'Liguoro, Ugo | |
| Intersection Types for the lambda-mu Calculus | 1-gen-2018 | van Bakel, Steffen; Barbanera, Franco; De'Liguoro, Ugo | |
| Global Types for Open Systems | 1-gen-2018 | Barbanera, Franco; De'Liguoro, Ugo; Hennicker, Rolf | |
| A theory of retractable and speculative contracts | 1-gen-2018 | Barbanera, Franco; Lanese, Ivan; De'Liguoro, Ugo | |
| Session types and subtyping for orchestrated interactions | 1-gen-2019 | Barbanera, Franco; de' Liguoro, Ugo | |
| Connecting open systems of communicating finite state machines | 1-gen-2019 | Barbanera, Franco; De'Liguoro, Ugo; Hennicker, Rolf | |
| Two notions of sub-behaviour for session-based client/server systems: 10 Years Later | 1-gen-2020 | Barbanera, Franco; De'Liguoro, Ugo | file da validare |
| Composing Communicating Systems, Synchronously | 1-gen-2020 | Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio | file da validare |
| Choreography Automata | 1-gen-2020 | Barbanera, Franco; Lanese, Ivan; Tuosto, Emilio | file da validare |
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