Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201


You are here: Home / News / BETTY Papers at TGC 2014

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