Back to Results
First PageMeta Content
Inter-process communication / Concurrent computing / Logic in computer science / Process calculi / Actor model / Message passing / Predicate transformer semantics / Communicating sequential processes / Assertion / Computing / Computer programming / Theoretical computer science


Understanding i. and Using Asynchronous Message Passing (Preliminary Version)
Add to Reading List

Document Date: 2013-08-21 11:28:52

Open Document

File Size: 488,71 KB

Share Result on Facebook

City

New York / /

Company

sLm / /

Currency

pence / USD / /

Event

Person Communication and Meetings / /

Facility

Prentice Hall / Cornell University / Computer Science The University of Arizona Tucson / /

IndustryTerm

multiset difference operator / sages communications / large concurrent systems / /

Organization

University of Arizona Tucson / Richard D. Schlichting Fred B. Schneider Department / National Science Foundation / Cornell University / Association for Computing Machinery / Department of Computer Science Cornell University Ithaca / /

Person

Alan Demers / Gary Levin / Leslie Lamport / Ozalp Babaoglu / Fred B. Schneider / Greg Andrews / David Cries / Richard D. Schlichting Fred / Bowen Alpern / /

Position

guard / r÷S programmer / programmer / /

ProvinceOrState

New York / Arizona / SatisfactiOnasynch(S / /

Technology

shared memory / /

SocialTag