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

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming. 135 (2023) - p. 100890 , 2023

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

4

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/..

5

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/..

6

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/..

7

Composition and decomposition of multiparty sessions:

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Lanese, Ivan.
Journal of Logical and Algebraic Methods in Programming. 119 (2021) - p. 100620 , 2021

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

8

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/..

9

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..

10

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/..

11

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/..

12

Session types and subtyping for orchestrated interactions:

Barbanera, Franco ; de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 102 (2019) - p. 103-137 , 2019

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

13

Connecting open systems of communicating finite state machi..:

Barbanera, Franco ; de'Liguoro, Ugo ; Hennicker, Rolf
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100476 , 2019

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

14

A theory of retractable and speculative contracts:

Barbanera, Franco ; Lanese, Ivan ; de'Liguoro, Ugo
Science of Computer Programming. 167 (2018) - p. 25-50 , 2018

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

15

Orchestrated session compliance:

Barbanera, Franco ; van Bakel, Steffen ; de'Liguoro, Ugo
Journal of Logical and Algebraic Methods in Programming. 86 (2017) 1 - p. 30-76 , 2017

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