Skip to content. | Skip to navigation

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

Navigation

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

BETTY Papers at PLACES 2014

Most of the papers at this year's PLACES workshop are by BETTY authors. Congratulations to all. We are looking forward to a good meeting.

  • Dimitris Mostrous. Multiparty Sessions based on Proof Nets. 
  • Sam Lindley and J. Garrett Morris. Sessions as Propositions.   
  • Francesco Tiezzi and Nobuko Yoshida. Towards Reversible Sessions. 
  • Dimitrios Kouzapas, Ramūnas Gutkovas and Simon Gay. Session Types for Broadcasting. 
  • Rumyana Neykova and Nobuko Yoshida. Multiparty Session Actors. 
  • Tzu-Chun Chen.  Lightening Global Types.  
  • Mariangiola Dezani-Ciancaglini, Luca Padovani and Jovanka Pantović. Session Type Isomorphisms.