Department of Computer Engineering2024-11-10201410.1145/2596631.25966382-s2.0-84900452371http://dx.doi.org/10.1145/2596631.2596638https://hdl.handle.net/20.500.14288/17138N/AComputer engineeringTowards verifying eventually consistent applicationsConference proceedinghttps://www.scopus.com/inward/record.uri?eid=2-s2.0-84900452371&doi=10.1145%2f2596631.2596638&partnerID=40&md5=ff2bc2b0fffc86cafb829ad1496b08716373