BEAT

201420142014

Keyphrases

Publications

2014

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro
Compliance for reversible client/server interactions. BEAT (2014)
Ornela Dardha
Recursive Session Types Revisited. BEAT (2014)
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Jorge A. Pérez
Self-Adaptation and Secure Information Flow in Multiparty Structured Communications: A Unified Perspective. BEAT (2014)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Jorge A. Pérez, Hugo Torres Vieira
Dynamic Role Authorization in Multiparty Conversations. BEAT (2014)
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida
Timed Runtime Monitoring for Multiparty Conversations. BEAT (2014)

volume 162, 2014

Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014. BEAT 162 (2014)