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