Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Barbanera, Franco
92  Ergebnisse:
OpenAccess-Volltexte X
Personensuche X
?
1

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023.  , 2023
Link: https://inria.hal.scienc..
 
?
2

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.46298/lmcs-19(3:9)2023.  , 2023
Link: https://inria.hal.scienc..
 
?
3

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890.  , 2023
Link: https://inria.hal.scienc..
 
?
4

Composition of synchronous communicating systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.jlamp.2023.100890.  , 2023
Link: https://inria.hal.scienc..
 
?
5

Partially Typed Multiparty Sessions:

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola
http://arxiv.org/abs/2308.10653.  , 2023
Link: http://arxiv.org/abs/230..
 
?
6

On Composing Communicating Systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
http://arxiv.org/abs/2208.04634.  , 2022
Link: http://arxiv.org/abs/220..
 
?
7

Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-08143-9_8.  , 2022
Link: https://inria.hal.scienc..
 
?
8

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

Coto, Alex ; Barbanera, Franco ; Lanese, Ivan..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-19849-6_13.  , 2022
Link: https://inria.hal.scienc..
 
?
9

On Composing Communicating Systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.365.4.  , 2022
Link: https://inria.hal.scienc..
 
?
10

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

Coto, Alex ; Barbanera, Franco ; Lanese, Ivan..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-19849-6_13.  , 2022
Link: https://inria.hal.scienc..
 
?
11

A Theory of Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
http://arxiv.org/abs/2210.08223.  , 2022
Link: http://arxiv.org/abs/221..
 
?
12

Formal Choreographic Languages:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-08143-9_8.  , 2022
Link: https://inria.hal.scienc..
 
?
13

On Composing Communicating Systems:

Barbanera, Franco ; Lanese, Ivan ; Tuosto, Emilio
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.365.4.  , 2022
Link: https://inria.hal.scienc..
 
?
14

Composition and Decomposition of Multiparty Sessions:

Barbanera, Franco ; Dezani-Ciancaglini, Mariangiola ; Lanese, Ivan.
hal-03338671.  , 2021
Link: https://hal.inria.fr/hal..
 
?
15

Corinne, a Tool for Choreography Automata:

Orlando, Simone ; Pasquale, Vairo Di ; Barbanera, Franco..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-030-90636-8_5.  , 2021
Link: https://inria.hal.scienc..
 
1-15