corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a07d5d-8ca2-708b-849e-ef231574986f

Metastability as a failed conditional discharge of rely-guarantee composition

Murat Demirbas · published 3 September 2026

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
21
Words captured
2,321

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
Composition and Modular Verification of TLA+ specs Read at the source ↗
muratbuffalo.blogspot.com
Characterizing Metastable Faults and Failures Read at the source ↗
muratbuffalo.blogspot.com
Metastable failures in the wild Read at the source ↗
muratbuffalo.blogspot.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/Retrier.tla
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/ChaosDisch.tla
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/Server.tla
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/Compose.tla
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/ComposeSafe.cfg
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/ComposeUnsafe.cfg
github.com
https://blogger.googleusercontent.com/img/a/AVvXsEh7p4aXH9lIyZSULONIpqoSj0OLDAUAW6Cq5Qh0KZK3m0CeVgxqUCoksHqmO0mJH1sUAnmIeQWEdInUid1SllCK2dHYb0kAGlUD8TsD0zgRvGgWyj04v_lO_h8eeWP8fVaqr11vrbY6AGovbbNtoFTvGO6x9ICNJTw31mbRkkxAUjvOAvMOlTPcMoaCUsk
blogger.googleusercontent.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/TrapUnreach.cfg
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/TrapReach.cfg
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/TrapClosure.cfg
github.com
https://blogger.googleusercontent.com/img/a/AVvXsEiwRA8D1hoJgGsqJDKCjSWb3T71Nh-fY3vzrjcptOYM5AEZ2KU7qVSosIPL0DHjSfEU8vajTo3C3uRRny416oy9OnGFnDZ3TbQbHDnSQrs7hxjLl9hNXwh7LDpQet9GDZHM_BrfWkKnX64__GqL6RF5oW12oTdTy5URdIgNwT-rOFEl5HawG0ADNEuc0tQ
blogger.googleusercontent.com
https://lamport.azurewebsites.net/pubs/lamport-possibility.pdf
lamport.azurewebsites.net
https://github.com/muratdem/retry-stab-modular-spec/blob/main/QuietRecover.cfg
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/FixedStab.cfg
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/RGProofs.tla
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/ServerFreshFirst.tla
github.com
https://github.com/muratdem/retry-stab-modular-spec/blob/main/FreshFirstTrapRec.cfg
github.com
https://github.com/muratdem/retry-stab-modular-spec
github.com