Now showing items 1-1 of 1

    • Knowledge-Based Sythesis of Distributed Systems Using Event Structures 

      Bickford, Mark; Constable, Robert C.; Halpern, Joseph Y.; Petride, Sabina (Cornell University, 2004-02-13)
      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. This process is particularly effective if ...