3 citations · 5 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2009
On the distributed evaluation of recursive queries over graphs
Stephane Grumbach, Fang Wang, Zhilin Wu
Logical formalisms such as first-order logic (FO) and fixpoint logic (FP) are well suited to express in a declarative manner fundamental graph functionalities required in distribut…
cs.LO2009★ 3 cited
Logical locality entails frugal distributed computation over graphs
Stephane Grumbach, Zhilin Wu
First-order logic is known to have limited expressive power over finite structures. It enjoys in particular the locality property, which states that first-order formulae cannot hav…
cs.LO2009
On Distributed Model Checking of MSO on Graphs
Stephane Grumbach, Zhilin Wu
We consider distributed model-checking of Monadic Second-Order logic (MSO) on graphs which constitute the topology of communication networks. The graph is thus both the structure b…