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…