<--- Back to Details
First PageDocument Content
Guarded Command Language / Fan-out / Digital electronics / Logic gates / Arbiter / State space
Date: 2000-08-07 12:12:15
Guarded Command Language
Fan-out
Digital electronics
Logic gates
Arbiter
State space

Add to Reading List

Source URL: www.cs.unc.edu

Download Document from Source Website

File Size: 193,45 KB

Share Document on Facebook

Similar Documents

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

DocID: R6I0 - View Document

Type theory / Model theory / Formal methods / Logic programming / Data types / Parallel computing / Variable / Guarded Command Language / First-order logic / Software engineering / Mathematics / Computing

Concepts for Concurrent Programming Fred B. Schneider1 Department of Computer Science Cornell University Ithaca, New York, U.S.A 14853

DocID: Q86M - View Document

Guarded Command Language / Copyright law of the United States / Copyright / Software engineering / Edsger W. Dijkstra / Data / Information / Determinacy

Copyright Notice The following manuscript EWD 472: Guarded commands, non-determinacy and formal

DocID: 1FBK - View Document

Guarded Command Language / Fan-out / Digital electronics / Logic gates / Arbiter / State space

PDF Document

DocID: Lh3 - View Document