Edward Talmage, Jennifer L. Welch. Relaxed Data Types as Consistency Conditions. In Paul G. Spirakis, Philippas Tsigas, editors, Stabilization, Safety, and Security of Distributed Systems - 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings. Volume 10616 of Lecture Notes in Computer Science, pages 142-156, Springer, 2017. [doi]
Abstract is missing.