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

Company

IBM / /

Country

United States / /

Currency

pence / USD / /

Facility

Computer Science University of Arizona Tucson / /

IndustryTerm

communications lines / mu/t/processing / chemical plants / computer-ctm~munications network / inpuffoutput devices / bank simulation / /

Organization

Computer Science University of Arizona Tucson / Concurrent Programming Fred B. Schneider1 Department of Computer Science Cornell University Ithaca / office of Naval Research / National Science Foundation / /

Position

guard / programmer / /

ProvinceOrState

New York / Arizona / /

RadioStation

Fred / /

Technology

simulation / operating system / shared memory / Operating systems / /

SocialTag