I agree that this site is using cookies. You can find further informations here.
X
Tuosto, Emilio
149  results:
OpenAccess-fulltext X
Search for persons 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

Behavioural Types for Local-First Software:

Kuhn, Roland ; Melgratti, Hernán ; Tuosto, Emilio
http://arxiv.org/abs/2305.04848.  , 2023
Link: http://arxiv.org/abs/230..
 
?
5

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

Behavioural Types for Local-First Software:

Kuhn, Roland ; Melgratti, Hernán ; Tuosto, Emilio
info:eu-repo/grantAgreement/EC/HE/101093006/.  , 2023
Link: https://zenodo.org/recor..
 
?
7

A Dynamic Temporal Logic for Quality of Service in Choreogr..:

Pombo, Carlos G. Lopez ; Suñé, Agustín E. Martinez ; Tuosto, Emilio
http://arxiv.org/abs/2311.01414.  , 2023
Link: http://arxiv.org/abs/231..
 
?
8

Behavioural Types for Local-First Software:

Kuhn, Roland ; Melgratti, Hernán ; Tuosto, Emilio
info:eu-repo/grantAgreement/EC/HE/101093006/.  , 2023
Link: https://zenodo.org/recor..
 
?
9

MoCheQoS: Automated Analysis of Quality of Service Properti..:

Pombo, Carlos G. Lopez ; Suñé, Agustín E. Martinez ; Tuosto, Emilio
http://arxiv.org/abs/2311.01415.  , 2023
Link: http://arxiv.org/abs/231..
 
?
10

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

Design-By-Contract for Flexible Multiparty Session Protocol:

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil..
doi:10.4230/LIPIcs.ECOOP.2022.8.  , 2022
Link: https://doi.org/10.4230/..
 
?
12

On Composing Communicating Systems:

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

Design-by-Contract for Flexible Multiparty Session Protocol..:

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil..
doi:10.4230/DARTS.8.2.21.  , 2022
Link: https://doi.org/10.4230/..
 
?
14

Design-By-Contract for Flexible Multiparty Session Protocol:

Gheri, Lorenzo ; Lanese, Ivan ; Sayers, Neil..
info:eu-repo/semantics/altIdentifier/doi/10.4230/LIPIcs.ECOOP.2022.8.  , 2022
Link: https://inria.hal.scienc..
 
?
15

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