Program Logic for Concurrency Verification

        


Related Papers:
  • CSL (pdf1; pdf2)


  • R-G (pdf)


  • RGSep (pdf)


  • LRG (pdf)


  • HLRG (pdf)


  • Deny-Guarantee Reasoning (pdf)
    • Ming Fu
    Last modified: Fri MAY 14 13:00:49 EST 2010