ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Sorting

Electronic Resource

On interprocess communication (1986)

Lamport, Leslie

Springer

Distributed computing 1 (1986), S. 77-85

add to mindlist on the mindlist

Details

ISSN: 1432-0452

Keywords: Concurrent reading and writing ; Nonatomic operations ; Shared data

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Abstract A formalism for specifying and reasoning about concurrent systems is described. Unlike more conventional formalisms, it is not based upon atomic actions. A definition of what it means for one system to implement a higher-level system is given and justified. In Part II, the formalism is used to specify several classes of interprocess communication mechanisms and to prove the correctness of algorithms for implementing them.

Type of Medium: Electronic Resource

URL: http://dx.doi.org/10.1007/BF01786227

Permalink

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit