Skip to content. | Skip to navigation

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


You are here: Home / News / BEAT 2014: Accepted Papers

BEAT 2014: Accepted Papers

The following papers, all by BETTY authors, have been accepted at the BEAT 2014 workshop organised by BETTY.

  • Franco Barbanera, Mariangiola Dezani-Ciancaglini and Ugo De'Liguoro. Compliance for reversible client/server interactions
  • Ilaria Castellani, Mariangiola Dezani-Ciancaglini and Jorge A. Pérez. Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective
  • Ornela Dardha. Recursive Session Types Revisited
  • Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez and Hugo Torres Vieira. Dynamic role authorization in multiparty conversations
  • Rumyana Neykova, Laura Bocchi and Nobuko Yoshida.
    Timed Runtime Monitoring for Multiparty Conversations
A paper accepted at CONCUR 2014 will also be presented at BEAT:
  • Massimo Bartoletti, Alceste Scalas and Roberto Zunino. A semantic deconstruction of session types
Congratulations to all the authors, and we are looking forward to a good workshop.