23 citations · 26 across the 13 of their papers we have counts for
1 paper · 2 filters
Joseph M. Hellerstein
The CALM theorem connects coordination-freedom to monotonicity, but is tied to relational transducers and set-inclusion growth. We generalize it to arbitrary concurrent specificati…