E-LIB Suche - Ergebnisse für: Barbanera, Franco

1

YACC: Yet Another Church Calculus: A Birthday Present for H..:

, In: Lecture Notes in Computer Science; Logics and Type Systems in Theory and Practice,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; de'Liguoro, Ugo. - p. 17-35 , 2024

Link: https://doi.org/10.1007/..

2

Multicompatibility for Multiparty-Session Composition:

, In: Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Gheri, Lorenzo. - p. 1-15 , 2023

Link: https://dl.acm.org/doi/1..

3

Open Compliance in Multiparty Sessions:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; de'Liguoro, Ugo - p. 222-243 , 2022

Link: https://doi.org/10.1007/..

4

On Formal Choreographic Modelling: A Case Study in EU Busin..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles; Lecture Notes in Computer Science,

Coto, Alex ; Barbanera, Franco ; Lanese, Ivan.. - p. 205-219 , 2022

Link: https://doi.org/10.1007/..

5

Formal Choreographic Languages:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio - p. 121-139 , 2022

Link: https://doi.org/10.1007/..

6

Corinne, a Tool for Choreography Automata:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Orlando, Simone ; Pasquale, Vairo Di ; Barbanera, Franco.. - p. 82-92 , 2021

Link: https://doi.org/10.1007/..

7

Choreography Automata:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio - p. 86-106 , 2020

Link: https://doi.org/10.1007/..

8

Two notions of sub-behaviour for session-based client/serve..:

, In: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming,

Barbanera, Franco ; de'Liguoro, Ugo - p. 1-3 , 2020

Link: https://dl.acm.org/doi/1..

9

Composing Communicating Systems, Synchronously:

, In: Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles; Lecture Notes in Computer Science,

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio - p. 39-59 , 2020

Link: https://doi.org/10.1007/..

10

Two notions of sub-behaviour for session-based client/serve..:

, In: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming,

Barbanera, Franco ; de'Liguoro, Ugo - p. 155-164 , 2010

Link: https://dl.acm.org/doi/1..

11

Biomass-based systems:

, In: Polygeneration Systems,

Cotana, Franco ; Coccia, Valentina ; Cavalaglio, Gianluca.. - p. 137-192 , 2022

Link: https://doi.org/10.1016/..

12

List of contributors:

, In: Polygeneration Systems,

Barbanera, Marco ; Calise, Francesco ; Cappiello, Francesco Liberato... - p. xi-xii , 2022

Link: https://doi.org/10.1016/..