22 citations · 36 across the 7 of their papers we have counts for
1 paper · 1 filter
Tom J. Ameloot, Jan Van den Bussche, William R. Marczak +2
In the Declarative Networking paradigm, Datalog-like languages are used to express distributed computations. Whereas recently formal operational semantics for these languages have…