I agree that this site is using cookies. You can find further informations here.
X
Tuosto, Emilio
22  results:
Articles (Online) X
Search for persons X
?
1

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

Comparing perfomance abstractions for collective adaptive s..:

Murgia, Maurizio ; Pinciroli, Riccardo ; Trubiani, Catia.
International Journal on Software Tools for Technology Transfer.  25 (2023)  5-6 - p. 785-798 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Towards refinable choreographies:

de'Liguoro, Ugo ; Melgratti, Hernán ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming.  127 (2022)  - p. 100776 , 2022
Link: https://doi.org/10.1016/..
 
?
4

PSTMonitor: Monitor synthesis from probabilistic session ty..:

Bartolo Burlò, Christian ; Francalanza, Adrian ; Scalas, Alceste..
Science of Computer Programming.  222 (2022)  - p. 102847 , 2022
Link: https://doi.org/10.1016/..
 
?
5

An abstract framework for choreographic testing:

Coto, Alex ; Guanciale, Roberto ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming.  123 (2021)  - p. 100712 , 2021
Link: https://doi.org/10.1016/..
 
?
6

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

A tool chain for choreographic design:

Guanciale, Roberto ; Tuosto, Emilio
Science of Computer Programming.  202 (2021)  - p. 102535 , 2021
Link: https://doi.org/10.1016/..
 
?
8

Realisability of pomsets:

Guanciale, Roberto ; Tuosto, Emilio
Journal of Logical and Algebraic Methods in Programming.  108 (2019)  - p. 69-89 , 2019
Link: https://doi.org/10.1016/..
 
?
9

Semantics of global view of choreographies:

Tuosto, Emilio ; Guanciale, Roberto
Journal of Logical and Algebraic Methods in Programming.  95 (2018)  - p. 17-40 , 2018
Link: https://doi.org/10.1016/..
 
?
10

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco T....
ACM Computing Surveys (CSUR).  49 (2016)  1 - p. 1-36 , 2016
Link: https://dl.acm.org/doi/1..
 
?
11

Foundations of Session Types and Behavioural Contracts:

Hüttel, Hans ; Lanese, Ivan ; Vasconcelos, Vasco T....
ACM Computing Surveys.  49 (2016)  1 - p. 1-36 , 2016
Link: https://doi.org/10.1145/..
 
?
12

Preface:

Lluch Lafuente, Alberto ; Tuosto, Emilio
Service Oriented Computing and Applications.  9 (2015)  3-4 - p. 211-211 , 2015
Link: https://doi.org/10.1007/..
 
?
13

A design-by-contract approach to recover the architectural ..:

Poyias, Kyriakos ; Tuosto, Emilio
Science of Computer Programming.  100 (2015)  - p. 2-27 , 2015
Link: https://doi.org/10.1016/..
 
?
14

From Communicating Machines to Graphical Choreographies:

Lange, Julien ; Tuosto, Emilio ; Yoshida, Nobuko
ACM SIGPLAN Notices.  50 (2015)  1 - p. 221-232 , 2015
Link: https://doi.org/10.1145/..
 
?
15

Attribute-based transactions in service oriented computing:

BOCCHI, LAURA ; TUOSTO, EMILIO
Mathematical Structures in Computer Science.  25 (2014)  3 - p. 619-665 , 2014
Link: https://doi.org/10.1017/..
 
1-15