Bravetti, Mario
- Undecidability of Asynchronous Session Subtyping
2016/11/15 by Mario Bravetti, Marco Carbone, Bravetti, Mario +3 · 2 citations
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
- File Managing and Program Execution in Web Operating Systems
2010/05/27 by Mario Bravetti, Bravetti, Mario · 1 citation
Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #Distributed systems and fault tolerance #Service-Oriented Architecture and Web Services #cs.OS #cs.SE