Author:
Mateescu Radu,Serwe Wendelin
Publisher
Springer Berlin Heidelberg
Reference45 articles.
1. Lecture Notes in Computer Science;J.H. Anderson,2000
2. Anderson, J.H., Kim, Y.-J., Herman, T.: Shared-memory mutual exclusion: major research trends since 1986. Distributed Computing 16, 75–110 (2003)
3. Lecture Notes in Computer Science;Y. Bar-David,2003
4. Botincan, M.: AsmL specification and verification of Lamport’s bakery algorithm. J. of Computing and Information Technology 13(4), 313–319 (2005)
5. Burns, J.E., Lynch, N.A.: Mutual exclusion using indivisible reads and writes. In: Proc. of ACCCC’80, pp. 833–842 (1980)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献