Carbone, Marco
- 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