Mohammed S. Al-Mahfoudh, Ganesh Gopalakrishnan, Ryan Stutsman. Toward Bringing Distributed System Design upon Rigorous Footing. In 17th IEEE International Conference on Information Reuse and Integration, IRI 2016, Pittsburgh, PA, USA, July 28-30, 2016. pages 233-240, IEEE Computer Society, 2016. [doi]
Abstract is missing.