BETTY Papers at PLACES 2015
Most of the papers at this year's PLACES workshop are by BETTY authors:
- Using session types as an effect system
Dominic Orchard and Nobuko Yoshida - Broadcast and aggregation in BBC
Hans Hüttel and Nuno Pratas - Precise subtyping for synchronous multiparty sessions
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović and Nobuko Yoshida - Retractable contracts
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese and Ugo De’Liguoro - A Typed Model for Dynamic Authorizations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Jorge A. Pérez and Hugo Torres Vieira - Communicating machines as a dynamic binding mechanism of services
Ignacio Vissani, Carlos Gustavo Lopez Pombo and Emilio Tuosto - Behavioural types for non-uniform memory accesses
Juliana Franco and Sophia Drossopoulou
Other papers by authors who are not (yet!) involved in BETTY:
- Reversible Communicating Processes
Geoffrey Brown and Amr Sabry - Distributed Programming via Safe Closure Passing
Philipp Haller and Heather Miller
Congratulations to everyone - we are looking forward to a good workshop.