×

zbMATH — the first resource for mathematics

Montesi, Fabrizio

Compute Distance To:
Author ID: montesi.fabrizio Recent zbMATH articles by "Montesi, Fabrizio"
Published as: Montesi, Fabrizio
Documents Indexed: 14 Publications since 2009

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 46 times in 24 Documents Cited by Year
Deadlock-freedom-by-design, multiparty asynchronous global programming. Zbl 1301.68097
Carbone, Marco; Montesi, Fabrizio
19
2013
Compositional choreographies. Zbl 1390.68483
Montesi, Fabrizio; Yoshida, Nobuko
10
2013
Choreographies, logically. Zbl 1417.68121
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten
4
2014
Multiparty session types as coherence proofs. Zbl 1371.68049
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko
3
2017
Coherence generalises duality: a logical explanation of multiparty session types. Zbl 1392.68286
Carbone, Marco; Lindley, Sam; Montesi, Fabrizio; Schürmann, Carsten; Wadler, Philip
3
2016
Choreographies, logically. Zbl 1423.68304
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten
2
2018
The paths to choreography extraction. Zbl 06721004
Cruz-Filipe, Luís; Larsen, Kim S.; Montesi, Fabrizio
2
2017
A core model for choreographic programming. Zbl 1436.68078
Cruz-Filipe, Luís; Montesi, Fabrizio
1
2020
That’s enough: asynchrony with standard choreography primitives. Zbl 1416.68119
Cruz-Filipe, Luís; Montesi, Fabrizio
1
2017
Dynamic error handling in service oriented applications. Zbl 1215.68040
Guidi, Claudio; Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi
1
2009
A core model for choreographic programming. Zbl 1436.68078
Cruz-Filipe, Luís; Montesi, Fabrizio
1
2020
Choreographies, logically. Zbl 1423.68304
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten
2
2018
Multiparty session types as coherence proofs. Zbl 1371.68049
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten; Yoshida, Nobuko
3
2017
The paths to choreography extraction. Zbl 06721004
Cruz-Filipe, Luís; Larsen, Kim S.; Montesi, Fabrizio
2
2017
That’s enough: asynchrony with standard choreography primitives. Zbl 1416.68119
Cruz-Filipe, Luís; Montesi, Fabrizio
1
2017
Coherence generalises duality: a logical explanation of multiparty session types. Zbl 1392.68286
Carbone, Marco; Lindley, Sam; Montesi, Fabrizio; Schürmann, Carsten; Wadler, Philip
3
2016
Choreographies, logically. Zbl 1417.68121
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten
4
2014
Deadlock-freedom-by-design, multiparty asynchronous global programming. Zbl 1301.68097
Carbone, Marco; Montesi, Fabrizio
19
2013
Compositional choreographies. Zbl 1390.68483
Montesi, Fabrizio; Yoshida, Nobuko
10
2013
Dynamic error handling in service oriented applications. Zbl 1215.68040
Guidi, Claudio; Lanese, Ivan; Montesi, Fabrizio; Zavattaro, Gianluigi
1
2009

Citations by Year