Authors
Leslie Lamport, Nancy Lynch
Publication date
1990/1/1
Book
Formal models and semantics
Pages
1157-1199
Publisher
Elsevier
Description
Publisher Summary
Distributed computing is an activity that is performed on a spatially distributed system. An important problem in distributed computing is to provide a user with a non-distributed view of a distributed system to implement a distributed file system that allows the client programmer to ignore the physical location of his data. The models of computation generally considered to be distributed are process models in which the computational activity is represented as the concurrent execution of sequential processes. Different process models are distinguished by the mechanism employed for inter-process communication. The process models that are most distributed are the ones in which processes communicate by message passing. A process sends a message by adding it to a message queue and another process receives the message by removing it from the queue. There are two basic complexity …
Total citations
1991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024476912131513121610101514121211410758324542456145
Scholar articles
L Lamport, N Lynch - Formal models and semantics, 1990