Sciweavers

TODS
2016
64views more  TODS 2016»
8 years 25 days ago
Weaker Forms of Monotonicity for Declarative Networking: A More Fine-Grained Answer to the CALM-Conjecture
The CALM-conjecture, first stated by Hellerstein [23] and proved in its revised form by Ameloot et al. [13] within the framework of relational transducer networks, asserts that a...
Tom J. Ameloot, Bas Ketsman, Frank Neven, Daniel Z...