41554 blogs · 4,417,066 posts Claim your blog

Record · corpus.blog/posts/01a0bc06-d08f-70f2-ad26-885386c837e5

My experience with using TLA+ in distributed systems class

Murat Demirbas · published 29 January 2015

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: 8
Words captured: 1,062

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

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

muratbuffalo.blogspot.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi84ydLm2pBX1m9x650mcGl-iZEiqM03sshFNiMcXnl4qdNQuGqXPdxktvbrFveWd7IfAkz3ZXRuPN2qNqIvlZkvyO_RNkvp7LQN_kJSJAUqmK2o_L8SNlaBQSV7HsDCh6HvaiEW5pKeQU/s1600/Screen+Shot+2015-01-29+at+11.40.59+AM.png

blogger.googleusercontent.com

Hybrid Logical Clocks Read at the source ↗

muratbuffalo.blogspot.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiHNqn15XwwqrIfeGQZRugu7yg-qUe6vlpALWjR9cSfP7EPC3gyYtF4DXKRSbCqTsIiTnqvKBesqFofa8jw0VycZAcRL7gnbnONm2jQ5QIitxMooycRKS0T3227QBfruIq1UR3odEJkeYs/s1600/Screen+Shot+2015-01-29+at+11.37.51+AM.png

blogger.googleusercontent.com

https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEigVHfHBXpLzaA8JTFCOg0VX1O2IysXKWm12CCcBxqcahKeFIK7NvB5kaArqEleIjwHcN-BjVKT_8gRx07A7wu1KpYEFEpKJUFWvSn5uuAhIUtecCAssWcsX7wg7aAkV3C19YKn3fEMjVk/s1600/Screen+Shot+2015-01-29+at+11.44.55+AM.png

blogger.googleusercontent.com

http://en.wikipedia.org/wiki/Grok

en.wikipedia.org

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

groups.google.com

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

muratbuffalo.blogspot.com