NOTE These post series is merely a backup of some notes from my PhD sometime in 2016
Safety-Liveness Exclusion in Distributed Computing failed to answer it’s own question, as it relied on a total ordering of histories in the liveness set.
I wonder if I could use some SMT-ish thingy to try and tackle it from a different perspective?
Share onTwitter Facebook Google+ LinkedIn
Leave a Comment
Your email address will not be published. Required fields are marked *