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