Relational transducers for declarative networking

Tom Ameloot, Frank Neven, Jan Van den Bussche

Motivated by a recent conjecture concerning the expressiveness of declarative networking, we propose a formal computation model for "eventually consistent" distributed querying, ba…