Now showing items 1-1 of 1

    • Putting Time into Proof Outlines 

      Scheider, Fred B.; Bard, Bloom; Marzullo, Keith (Cornell University, 1991-09)
      A logic for reasoning about timing properties of concurrent programs is presented. The logic is based on Hoare-style proof outlines and can handle maximal parallelism as well as certain resource-constrained execution ...