Marco Carbone

Identifiers

• name variant Marco Carbone 0.60 · backfill

Papers (6)

1. Multiparty Classical Choreographies cs.PL · 2018 · author #1
2. On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping cs.PL · 2017 · author #2
3. Undecidability of Asynchronous Session Subtyping cs.PL · 2016 · author #2
4. Proceedings Fifth Interaction and Concurrency Experience cs.PL · 2012 · author #1
5. Refinement for Transition Systems with Responses cs.LO · 2012 · author #1
6. Proceedings Fourth Interaction and Concurrency Experience cs.LO · 2011 · author #4

Mentions

• 1212.3458 #1 · backfill · confidence 0.70 Marco Carbone
• 1207.4270 #1 · backfill · confidence 0.70 Marco Carbone
• 1108.0144 #4 · backfill · confidence 0.70 Marco Carbone

Frequent Coauthors

• Alexandra Silva 2 shared papers
• Gianluigi Zavattaro 2 shared papers
• Mario Bravetti 2 shared papers
• Agata Murawska 1 shared papers
• Ana Sokolova 1 shared papers
• Andrzej W\k{a}sowski 1 shared papers
• Fabrizio Montesi 1 shared papers
• Gian Perrone 1 shared papers
• Ivan Lanese 1 shared papers
• Luis Cruz-Filipe 1 shared papers
• Roberto Bruni 1 shared papers
• Simon Bliudze 1 shared papers
• Thomas Hildebrandt 1 shared papers