Return to Article Details
A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property
Download
Download PDF