10 citations · 37 across the 10 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Formalizing Determinacy of Concurrent Revisions
Roy Overbeek
Concurrent revisions is a concurrency control model designed to guarantee determinacy, meaning that the outcomes of programs are uniquely determined. This paper describes an Isabel…
cs.LO2019★ 2 cited
Decreasing Diagrams for Confluence and Commutation
Jörg Endrullis, Jan Willem Klop, Roy Overbeek
Like termination, confluence is a central property of rewrite systems. Unlike for termination, however, there exists no known complexity hierarchy for confluence. In this paper we…