(1 - 10 from 10
)
Datalog
www.dbai.tuwien.ac.at
... Confluence Analysis for Distributed Programs: A Model-Theoretic Approach William Marczak, Peter Alvaro, Neil Conway, Joseph Hellerstein and David Maier.
sorted by relevance / date