View of A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property

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