Search the dblp DataBase

Publications of Author

1. Pierre-Malo Deniélou, James J. Leifer
   Abstraction preservation and subtyping in distributed languages. [Citation Graph (0, 0)][DBLP]
   ICFP, 2006, pp:286-297 [Conf]
   
2. 
   Buffered Communication Analysis in Distributed Multiparty Sessions. [Citation Graph (, )][DBLP]
   
   
3. 
   Secure Implementations for Typed Session Abstractions. [Citation Graph (, )][DBLP]
   
   
4. 
   Cryptographic Protocol Synthesis and Verification for Multiparty Sessions. [Citation Graph (, )][DBLP]
   
   
5. 
   Parameterised Multiparty Session Types. [Citation Graph (, )][DBLP]
   
   
6. 
   A Protocol Compiler for Secure Sessions in ML. [Citation Graph (, )][DBLP]