Publications

...
• 2017
• 2016
• 2015
• 2014
• 2013
• 2012
• 2011
• 2010
...

• Practical interruptible conversations: Distributed dynamic verification with session types and Python
  Hu R Neykova R Yoshida N Demangeon R Honda K
  Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics. vol. 8174 LNCS, 130-148.  
  DOI 10.1007/978-3-642-40787-1_8
  
  18-11-2013
• SPY: Local Verification of Global Protocols
  Neykova R Yoshida N Hu R
  Lecture Notes in Computer Science. vol. 8174, 358-363.  
  DOI 10.1007/978-3-642-40787-1_25
  
  01-01-2013