Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A Theory of Formal Choreographic LanguagesBarbanera, Franco ; Lanese, Ivan ; Tuosto, EmilioLogical methods in computer science, 2023-08, Vol.19, Issue 3 (3) [Periódico revisado por pares]Logical Methods in Computer Science AssociationTexto completo disponível |
|
2 |
Material Type: Artigo
|
Intersection Types for the lambda-mu CalculusSteffen van Bakel ; Franco Barbanera ; Ugo de'LiguoroLogical methods in computer science, 2018-01, Vol.14, Issue 1 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
3 |
Material Type: Artigo
|
Retractability, games and orchestrators for session contractsFranco Barbanera ; Ugo de'LiguoroLogical methods in computer science, 2017-01, Vol.13, Issue 3 [Periódico revisado por pares]Logical Methods in Computer Science e.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
Partially Typed Multiparty SessionsBarbanera, Franco ; Dezani-Ciancaglini, MariangiolaarXiv.org, 2023-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
5 |
Material Type: Artigo
|
A Theory of Formal Choreographic LanguagesBarbanera, Franco ; Lanese, Ivan ; Tuosto, EmilioarXiv.org, 2023-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
6 |
Material Type: Artigo
|
On Composing Communicating SystemsBarbanera, Franco ; Lanese, Ivan ; Tuosto, EmilioarXiv.org, 2022-08Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
7 |
Material Type: Artigo
|
Open Multiparty SessionsBarbanera, Franco ; Dezani-Ciancaglini, MariangiolaarXiv.org, 2019-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
8 |
Material Type: Artigo
|
Session Types for Orchestrated InteractionsBarbanera, Franco ; de'Liguoro, UgoarXiv.org, 2017-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Artigo
|
Composition of choreography automataBarbanera, Franco ; Lanese, Ivan ; Tuosto, EmilioarXiv.org, 2021-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Artigo
|
Intersection Types for the lambda-mu CalculusSteffen van Bakel ; Barbanera, Franco ; de'Liguoro, UgoarXiv.org, 2018-01Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |