pith. sign in

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