corpus.blog
41,554 blogs · 5,358,632 posts Claim your blog
Record · corpus.blog/posts/01a0bbf8-2a9f-7031-9731-b087370363c3

TLA+/Pluscal solution for modeling of 2-phase commit transactions

Murat Demirbas · published 15 December 2017

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

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://github.com/muratdem/PlusCal-examples/tree/master/2PCTM
github.com
http://lamport.azurewebsites.net/tla/two-phase.html
lamport.azurewebsites.net
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhTFvqpvAPG4GwblnnydyCrN_BSQN7W3Qx0es_gd1HImcfwlR7geyFbms2gkMJkMFmP1_DONnCnNGsawq99jj4vz9qz25eyZOgj3QehdnVdHJRPHgm5J-LXpmq5i6_bhl1ax7ZCeVqJ9yc/s1600/defines.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgP_A0XEgmMFjdDQ-8MUlH4uYZDlPQM6hvVBBrKHSv_rvRYKIaZAkwioRGsZGM7JqptK_6MiEkpOMJkSd-ajb-Shm-eQmks9d4wL6TzYvuiTaZ_tHlf9EE4iULTnr8J0my9jYtXiumbhZg/s1600/rm.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg5kh4sHvQmeDA3SOHaNcR6KNZihc_QlHl8RJBa0qzHNR6pVdZ7V74kx08oZiMBVOgb6Nk6mL1XtDvPo6B_3ymzi9tS81zrhZnBSn3ZGYtPA2OrbvXO4coClASjH1yapZl9GhZ82IqsVvc/s1600/tm.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjvaXWrbuc7OfWzgd-kSK5cN77R0_FoAfOOjiF7Vs-GYrPLWr-2EYhvpXkcI-5q1phXOrBOzHyQn0BXu1Y0sAUEMUvRPY-qpd24sGxpu_Pj1Q5egjYBSedV9qNWoPDeyVZxyAI7e2qCl8Y/s1600/btm.png
blogger.googleusercontent.com
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiShSgUrY3Mhc_KQ5Czl_zIuRaHB7CkG7IS-5rAxuJpOpa8hEEfs71PMhhnZ-rnxFDc3e7jWqv2Vinjt_42nQcryjtT3LmL6IKJwcjQXuPwte2rTy9NgpHLj-_JngWtlE_IAgTzhjqBc6M/s1600/invariant.png
blogger.googleusercontent.com
https://www.microsoft.com/en-us/research/publication/consensus-on-transaction-commit/
microsoft.com
Elsewhere on muratbuffalo.blogspot.com (1)