2 citations · 2 across the 2 of their papers we have counts for
3 papers
cs.LO2009★ 2 cited
Knowledge-Based Synthesis of Distributed Systems Using Event Structures
Mark Bickford, Robert Constable, Joseph Halpern +1
To produce a program guaranteed to satisfy a given specification one can synthesize it from a formal constructive proof that a computation satisfying that specification exists. Thi…
cs.DC2007
A Knowledge-Based Analysis of Global Function Computation
Joseph Y. Halpern, Sabina Petride
Consider a distributed system N in which each agent has an input value and each communication link has a weight. Given a global function, that is, a function f whose value depends…
cs.CR2006
Expressing Security Properties Using Selective Interleaving Functions
Joseph Y. Halpern, Sabina Petride
McLean's notion of Selective Interleaving Functions (SIFs) is perhaps the best-known attempt to construct a framework for expressing various security properties. We examine the exp…