Liveness of a mutex algorithm in a fair process algebra
Work
Year: 2009
Type: article
Source: Acta Informatica
Institutions Università di Camerino, Augsburg University
Cites: 20
Cited by: 6
Related to: 10
FWCI: 0.301
Citation percentile (by year/subfield): 61.85
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: closed