Sign in

A datalog-based computational model for coordination-free, data-parallel systems.

Matteo InterlandiLetizia Tanca
Published in: Theory Pract. Log. Program. (2018)
Keyphrases