@shachaf Right, I also think it's an example of why an intuitive slogan like Lamport's "a liveness property is when something good eventually happens" is insufficient because the essential distinction between safety and liveness properties is whether only looking at finite prefixes is always sufficient (regardless of the particular model).
=> More informations about this toot | View the thread | More toots from pervognsen@mastodon.social
text/geminiThis content has been proxied by September (ba2dc).