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 FOSSACS 2014

BETTY Papers at FOSSACS 2014

Two papers on BETTY topics will be presented at FOSSACS 2014:

  • Luca Padovani. Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types.
  • Vasileios Koutavas, Carlo Spaccasassi and Matthew Hennessy. Bisimulations for Communicating Transactions.

Congratulations to the authors!