Marco Carbone

Proceedings 6th Interaction and Concurrency Experience

Ivan Lanese, Ana Sokolova, Alberto Lluch Lafuente, 2013 .

Multiparty Classical Choreographies pdf

Luís Cruz-Filipe, Fabrizio Montesi, Marco Carbone, 2018, LOPSTR.

Preface for the special issue of Interaction and Concurrency Experience 2013

Ivan Lanese, Ana Sokolova, Alberto Lluch-Lafuente, 2015, Sci. Comput. Program..

Editorial

Joachim Parrow, Thomas T. Hildebrandt, Marco Carbone, 2016, Formal Aspects of Computing.

Unifying Annotated Discourse Hierarchies to Create a Gold Standard

Stuart M. Shieber, Barbara J. Grosz, Marco Carbone, 2004, SIGDIAL Workshop.

Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013

Ivan Lanese, Ana Sokolova, Alberto Lluch-Lafuente, 2013, ICE.

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation.

Mario Bravetti, Julien Lange, Marco Carbone, 2019 .

Proceedings Fifth Interaction and Concurrency Experience

Ivan Lanese, Ana Sokolova, Marco Carbone, 2012 .