Liveness of a mutex algorithm in a fair process algebra

标题
Liveness of a mutex algorithm in a fair process algebra
作者
关键词
-
出版物
ACTA INFORMATICA
Volume 46, Issue 3, Pages 209-235
出版商
Springer Nature
发表日期
2009-03-23
DOI
10.1007/s00236-009-0092-9

向作者/读者发起求助以获取更多资源

Add your recorded webinar

Do you already have a recorded webinar? Grow your audience and get more views by easily listing your recording on Peeref.

Upload Now

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started