<--- Back to Details
First PageDocument 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
Date: 2013-08-21 11:28:52
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

Source URL: www.cs.cornell.edu

Download Document from Source Website

File Size: 488,71 KB

Share Document on Facebook

Similar Documents

Unemployment, Conflicts and Partnership Stability: An Application of an Actor-Partner Interdependence Model (First Results) Bernd Weißa, Katharina Lotera,b & Michael Wagnera aInstitute

DocID: 1s8DQ - View Document

Chivalry / Military personnel / Actor model / Concurrent computing / Dwight D. Eisenhower

BritishLanthorn: Ubiquitous Homogeneous Cooperative Symmetries Ike Antkare International Institute of Technology United Slates of Earth

DocID: 1ru6U - View Document

Hypocorisms / Ike / Actor model

Modular Flexible Models for Operating Systems Ike Antkaretoo International Institute of Technology United Slates of Earth

DocID: 1rsRD - View Document

Chivalry / Military personnel / Actor model / Concurrent computing / Dwight D. Eisenhower / Ike

The Influence of Compact Epistemologies on Cyberinformatics Ike Antkare International Institute of Technology United Slates of Earth

DocID: 1rsvX - View Document

Computing / Software / Computer programming / Concurrent computing / Cross-platform software / Concurrent programming languages / Parallel computing / Edsger W. Dijkstra / Actor model / Thread / Go / Concurrency

PADTAD 2012 Curriculum for software development with concurrency - Jeremy S. Bradbury, João M. Lourenço, Ok-Kyoon Ha, In-Bon Kuh, Yong-Kee Jun Funding provided by: Concurrency – Education

DocID: 1rqUv - View Document