TY - RPRT TI - A Datalog-based Computational Model for Coordination-free, Data-Parallel Systems AU - Matteo Interlandi AU - Letizia Tanca PY - 2018 UR - https://arxiv.org/abs/1405.7264 ID - 1405.7264 ER -