3 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LO2015★ 3 cited
Putting Logic-Based Distributed Systems on Stable Grounds
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…
cs.CR2009★ 3 cited
Declarative Reconfigurable Trust Management
William Marczak, David Zook, Wenchao Zhou +2
In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement o…