Back to Results
First PageMeta Content
Program logic / Concurrent computing / Hoare logic / Logic programming / Communicating sequential processes / Modal logic / KeY / Guarded Command Language / Well-formed formula / Logic / Theoretical computer science / Mathematics


The "Hoare Logic" of CSP, and All That LESLIE LAMPORT SRI International and FRED B. SCHNEIDER Cornell University
Add to Reading List

Document Date: 2001-11-26 10:44:16

Open Document

File Size: 896,51 KB

Share Result on Facebook
UPDATE