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

City

Ithaca / Menlo Park / /

Company

SRI International / Computer Science Laboratory / /

Currency

pence / USD / GBP / /

Facility

Cornell University / /

IndustryTerm

e - - / proof systems / /

Organization

National Science Foundation / Department of Computer Science / Cornell University / Association for Computing Machinery / /

Person

LESLIE LAMPORT / FRED B. SCHNEIDER / Ai / /

Position

General / programmer / /

ProgrammingLanguage

C / L / /

ProvinceOrState

New York / California / /

Technology

artificial intelligence / shared memory / /

SocialTag