BETTY papers at COORDINATION 2015
Two papers by BETTY authors have been accepted by the COORDINATION 2015 conference. Congratulations!
- Luca Padovani, Tzu-Chun Chen and Andrea Tosatto. Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.
- Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese and Jacopo Mauro. Dynamic Choreographies: Safe Runtime Updates of Distributed Applications.