23 citations · 26 across the 13 of their papers we have counts for
1 paper · 1 filter
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…