Back to Results
First PageMeta Content
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
Add to Reading List

Document Date: 2013-08-21 14:40:32

Open Document

File Size: 2,19 MB

Share Result on Facebook
UPDATE