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 PLACES 2015

BETTY Papers at PLACES 2015

Most of the papers at this year's PLACES workshop are by BETTY authors:

  • Using session types as an effect system
    Dominic Orchard and Nobuko Yoshida
  • Broadcast and aggregation in BBC
    Hans Hüttel and Nuno Pratas
  • Precise subtyping for synchronous multiparty sessions
    Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović and Nobuko Yoshida
  • Retractable contracts
    Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese and Ugo De’Liguoro
  • A Typed Model for Dynamic Authorizations
    Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez and Hugo Torres Vieira
  • Communicating machines as a dynamic binding mechanism of services
    Ignacio Vissani, Carlos Gustavo Lopez Pombo and Emilio Tuosto
  • Behavioural types for non-uniform memory accesses
    Juliana Franco and Sophia Drossopoulou

Other papers by authors who are not (yet!) involved in BETTY:

  • Reversible Communicating Processes
    Geoffrey Brown and Amr Sabry
  • Distributed Programming via Safe Closure Passing
    Philipp Haller and Heather Miller

Congratulations to everyone - we are looking forward to a good workshop.