Emilio Tuosto
AuthID: R-00H-AVR
1
TITLE: Foundations of Session Types and Behavioural Contracts Full Text
AUTHORS: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
AUTHORS: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
2
TITLE: Trustworthy Global Computing - 9th International Symposium, TGC 2014, Rome, Italy, September 5-6, 2014. Revised Selected Papers
AUTHORS: Matteo Maffei; Emilio Tuosto;
PUBLISHED: 2014, SOURCE: TGC, VOLUME: 8902
AUTHORS: Matteo Maffei; Emilio Tuosto;
PUBLISHED: 2014, SOURCE: TGC, VOLUME: 8902
INDEXED IN: DBLP
3
TITLE: Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009 Full Text
AUTHORS: Filippo Bonchi; Davide Grohmann; Paola Spoletini; Emilio Tuosto;
PUBLISHED: 2009, SOURCE: ICE, VOLUME: 12
AUTHORS: Filippo Bonchi; Davide Grohmann; Paola Spoletini; Emilio Tuosto;
PUBLISHED: 2009, SOURCE: ICE, VOLUME: 12
INDEXED IN: DBLP CrossRef