Deniélou, Pierre-Malo

1. Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
   2013/04/06 by Pierre-Malo Deniélou, Nobuko Yoshida, Deniélou, Pierre-Malo +1 · 3 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Distributed systems and fault tolerance