BETTY Papers at TGC 2014
Five papers by BETTY members have been accepted by the TGC 2014 conference. Congratulations to the authors!
- Giovanni Bernardi, Ornela Dardha, Simon J. Gay and Dimitrios Kouzapas. On duality relations for session types
- Andrea Cerone and Matthew Hennessy. Characterising Testing Preorders for Broadcasting Distributed Systems
- Luca Fossati, Raymond Hu and Nobuko Yoshida. Multiparty Session Nets
- Peter Thiemann. Session Types with Gradual Types
- Bernardo Toninho, Luis Caires and Frank Pfenning. Corecursion and Non-Divergence in Session-Typed Processes