Publications

 
  • Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
    Demangeon R Honda K Hu R Neykova R Yoshida N
    Formal Methods in System Design, Springer Nature vol. 46 (3), 197-225.  
    19-11-2014
  • A constructive interpretation of Ramsey's theorem via the product of selection functions
    OLIVA P POWELL T
    Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 25 (8), 1755-1778.  
    13-11-2014
  • On asynchronous eventful session semantics
    KOUZAPAS D YOSHIDA N HU R HONDA K
    Mathematical Structures in Computer Science, Cambridge University Press (Cup) vol. 26 (2), 303-364.  
    10-11-2014
  • Preface
    Oliva P
    Electronic Proceedings in Theoretical Computer Science Eptcs. vol. 164 
    09-09-2014
  • Proceedings Fifth International Workshop on Classical Logic and Computation
    Electronic Proceedings in Theoretical Computer Science, Open Publishing Association vol. 164 
    09-09-2014
  • Multiparty Session Nets
    Fossati L Hu R Yoshida N
    Lecture Notes in Computer Science, Springer Nature vol. 8902, 112-127.  
    01-01-2014
  • Proving termination of programs having transition invariants of height ω
    Berardi S Oliva P Steila S
    Ceur Workshop Proceedings. vol. 1231, 237-240.  
    01-01-2014
  • Structuring Communication with Session Types
    Honda K Hu R Neykova R Chen T-C Demangeon R Deniélou P-M Yoshida N
    Lecture Notes in Computer Science. vol. 8665, 105-127.  
    01-01-2014
  • The Scribble Protocol Language
    Yoshida N Hu R Neykova R Ng N
    Lecture Notes in Computer Science. vol. 8358, 22-41.  
    01-01-2014