{"id":"1805.04263","title":"OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)","url":"https://codeofpaper.com/paper/1805.04263","arxiv_url":"https://arxiv.org/abs/1805.04263","published":"2018-05-11","code":"official","best":{"full_name":"trvedata/opsets","url":"https://github.com/trvedata/opsets","tier":"official","stars":14,"license":null,"framework":null,"language":"Isabelle","last_commit":"2019-04-03T10:25:32"},"most_starred_community":null,"implementations":[{"full_name":"trvedata/opsets","url":"https://github.com/trvedata/opsets","tier":"official","stars":14,"license":null,"framework":null,"language":"Isabelle","last_commit":"2019-04-03T10:25:32"}],"possible_matches":0}