Publications

 
  • Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
    Demangeon R, Honda K, Hu R, Neykova R and 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 and 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 and 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
    Oliva P
    Electronic Proceedings in Theoretical Computer Science, Open Publishing Association vol. 164 
    09-09-2014
  • Multiparty Session Nets
    Fossati L, Hu R and 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 and 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 and Yoshida N
    Lecture Notes in Computer Science. vol. 8665, 105-127.  
    01-01-2014
  • The Scribble Protocol Language
    Yoshida N, Hu R, Neykova R and Ng N
    Lecture Notes in Computer Science. vol. 8358, 22-41.  
    01-01-2014