ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

Hits per page

hit 1 - 1 | 1 hit

Select All Export

Electronic Resource

Lazy caching in TLA (1999)

Ladkin, Peter ; Lamport, Leslie ; Olivier, Bryan ; [et al.]

Springer

Distributed computing 12 (1999), S. 151-174

add to mindlist on the mindlist

Details

ISSN: 1432-0452

Source: Springer Online Journal Archives 1860-2000

Topics: Computer Science

Notes: Summary. We address the problem, proposed by Gerth, of verifying that a simplified version of the lazy caching algorithm of Afek, Brown, and Merritt is sequentially consistent. We specify the algorithm and sequential consistency in TLA $^+$ , a formal specification language based on TLA (the Temporal Logic of Actions). We then describe how to construct and check a formal TLA correctness proof.

Type of Medium: Electronic Resource

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

	Location	Call Number	Expected	Availability

Others were also interested in ...

Paper (German National Licenses)

Fulltext

hit 1 - 1 | 1 hit