Mario Bravetti

Identifiers

• name variant Mario Bravetti 0.60 · backfill

Papers (5)

1. Optimal and Automated Deployment for Microservices cs.DC · 2019 · author #1
2. On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping cs.PL · 2017 · author #1
3. Undecidability of Asynchronous Session Subtyping cs.PL · 2016 · author #1
4. Reduction Semantics in Markovian Process Algebra cs.LO · 2015 · author #1
5. File Managing and Program Execution in Web Operating Systems cs.SE · 2010 · author #1

Mentions

• 1005.5045 #1 · backfill · confidence 0.70 Mario Bravetti

Frequent Coauthors

• Gianluigi Zavattaro 3 shared papers
• Marco Carbone 2 shared papers
• Iacopo Talevi 1 shared papers
• Jacopo Mauro 1 shared papers
• Saverio Giallorenzo 1 shared papers