41554 blogs · 4,504,310 posts Claim your blog

Record · corpus.blog/posts/01a0bc01-a313-7192-9112-5d85f48ce62b

Modeling a Replicated Storage System in TLA+, Project 2

Murat Demirbas · published 16 December 2016

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at muratbuffalo.blogspot.com Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
Links from this post: 11
Words captured: 591

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

Modeling a Replicated Storage System in TLA+, Project 1 Read at the source ↗

muratbuffalo.blogspot.com

https://github.com/muratdem/PlusCal-examples/tree/master/VoldemortKV

github.com

Chain replication for supporting high throughput and availability Read at the source ↗

muratbuffalo.blogspot.com

Modeling Paxos and Flexible Paxos in Pluscal and TLA+ Read at the source ↗

muratbuffalo.blogspot.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgt63kSr7Ifr5ZWlKXNXDblwKzQmdN4UAFebgJo5cavxWlJn0eWB05ANwimzsbfhZbP1H6ADMpLULkhsAHghO8zQZiQQ2_U3Xbi8s9b_YxYNyaCjvPrL_8ygb_oQpp-0FATzpmPdzkxFmI/s1600/figChain1.png

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhD7NfJUYNMCh53Vk2fbHYA2ztgt-eB3SV1Hni2HnCwQDEqkv_v0LMy3uolxgWPgK9-3W7n4d_Bz_Y-JIEX90lT1rDiUUzwC0Ua92s-Drik53RLR4SiP6gelz6WrAA2012o1BCvIcfJ3S4/s1600/figChain2.png

blogger.googleusercontent.com

Using TLA+ for teaching distributed systems Read at the source ↗

muratbuffalo.blogspot.com

My experience with using TLA+ in distributed systems class Read at the source ↗

muratbuffalo.blogspot.com

Modeling the hygienic dining philosophers algorithm in TLA+ Read at the source ↗

muratbuffalo.blogspot.com

https://groups.google.com/forum/

groups.google.com

http://muratbuffalo.blogspot.com/search/label/tla

muratbuffalo.blogspot.com