corpus.blog
41,554 blogs · 5,197,919 posts Claim your blog
Record · corpus.blog/posts/01a0bbb4-9b34-707c-a0ab-f18fe04744be

Exploring the NaiadClock TLA+ model in TLA-Web

Murat Demirbas · published 9 December 2024

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
External links
11
Words captured
1,079

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/will62794/tla-web
github.com
https://github.com/tlaplus/Examples
github.com
https://github.com/tlaplus/Examples/tree/master/specifications/naiad
github.com
https://www.microsoft.com/en-us/research/wp-content/uploads/2013/02/paper.pdf
microsoft.com
https://x.com/muratdemirbas/status/1862698246352543912
x.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEikQiJjtNi9lEuJf4esyIQt-qTKpR8PYeV5Xl4DUYUrpWgKZ6ns777F79iCbBl7YnvmvLxvu0uYPVtmHoaM9jHe93yvGuYcfRETQKMdgBzal1Axc_qZb9ppqcaBsfAB_Bjk1w8724uPIYvRS2RJ0L3TAgQhDr86VghfUyRa1yV0kbHx7vgZFgpEG84O-i4/s2232/Screenshot%202024-12-09%20at%2011.17.30%E2%80%AFAM.png
blogger.googleusercontent.com
https://github.com/muratdem/dataflow
github.com
https://will62794.github.io/tla-web/
will62794.github.io
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEitJRF7bPXZVH-sWW24SpLanDFc9stnXDf8f8IU2Bn6h7V7OWD68YkVywcWz9H0xMTOBwQFu9474LD3By06JJNTrTunQziRZqooxX0YOON61yXQXFnjQD3QWa0h_KP2VisvBTI9C7Yx9_qGx6tX777V62paAMMsiKjKoFQ9tPqbJBkIyhuOVd1l8PRLVJk/s3264/Screenshot%202024-12-09%20at%2011.15.14%E2%80%AFAM.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj_DFjPhrOF7jq1YtmT0AJ7tyd9dqSRLuDvBoXErIVgyvxa7JEjpH7pIPwaUMaz16EpJsEny83rH_W6Ns50soif3NXRNuIIbBlzwJdJDsW-srMmey8VpEzCLSoolfs8Ycogk_yzOeBdnyD8Pw2z5MTIUifwNCPz_072-M79ZR3cfSUwJg6c65rqYpO1foQ/s3264/Screenshot%202024-12-09%20at%2011.15.01%E2%80%AFAM.png
blogger.googleusercontent.com
https://emptysqua.re/blog/
emptysqua.re
Elsewhere on muratbuffalo.blogspot.com (3)