Designing Distributed Applications Using a Phase-Aware, Reversible System - Paul, R.; Melchior, J.; Van Roy, P.; Vlassov, V. (2017 IEEE International Conference on Edge Computing (EDGE), Edge Computing (EDGE), 2017 IEEE International Conference on, EDGE, 2017)