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 2013

BETTY Papers at TGC 2013

Three papers on BETTY topics will be presented at TGC 2013:

  • Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow, Björn Victor and Johannes Åman Pohjola:
    A Sorted Semantic Framework for Applied Process Calculi
  • Hans Hüttel:
    Types for resources in psi-calculi
  • Marco Giunti and António Ravara:
    Static deadlock resolution in the pi-calculus

Congratulations to the authors!