Marco Carbone
- Multiparty Asynchronous Session Types
2016/03/03 by Kohei Honda, Nobuko Yoshida, Marco Carbone · 20 citations
Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Distributed systems and fault tolerance