10 citations · 27 across the 8 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…