Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm
Work
Year: 2015
Type: article
Abstract: Summary Proving properties of distributed algorithms is still a highly challenging problem and various approaches that have been proposed to tackle it [1] can be roughly divided into state-based and e... more
Source: Formalized Mathematics
Cites: 14
Cited by: 5
Related to: 10
FWCI: 1.474
Citation percentile (by year/subfield): 65.72
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: gold