Items where Author is "Carbone, Marco"

Group by: Creators | Item Type | Date | No Grouping

Jump to: 2016 | 2013

Number of items: 2.

2016

Huttel, Hans and Lanese, Ivan and Vasconcelos, Vasco Thudichum and Caires, Luis and Carbone, Marco and Deniélou, Pierre-Malo and Mostrous, Dimitris and Padovani, Luca and Ravara, Antonio and Tuosto, Emilio and Torres Vieira, Hugo and Zavattaro, Gianluigi Foundations of Session Types and Behavioural Contracts. ACM Computing Surveys, 49 (1). pp. 1-36. ISSN 0360-0300 (2016)

2013

Carbone, Marco and Lanese, Ivan and Lluch-Lafuente, Alberto and Sokolova, Ana Proceedings 6th Interaction and Concurrency Experience, ICE 2013. Electronic Proceedings in Theoretical Computer Science. (2013)

This list was generated on Fri May 3 10:22:23 2024 CEST.

IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.