Tournaments for mutual exclusion: verification and concurrent complexity
Work
Year: 2017
Type: article
Abstract: Given a mutual exclusion algorithm MXd for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>d</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> </mml:math> thread... more
Source: Formal Aspects of Computing
Author Wim H. Hesselink
Institution University of Groningen
Cites: 26
Cited by: 8
Related to: 10
FWCI: 0.187
Citation percentile (by year/subfield): 68.75
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: hybrid