The design of a linearization of a concurrent data object
Reference11 articles.
1. Bjoerner, N., Browne, A. and Manna, Z. (1997) Automatic generation of invariants and intermediate assertions. Theor.Comp.Science 173, 49–87.
2. Boyer, R.S. and Moore J S. (1988) A Computational Logic Handbook. Academic Press, Boston etc.
3. Fischer, M.J., Lynch, N.A. and Paterson, M.S. (1985) Impossibility of distributed consensus with one faulty process. J. ACM 32, 374–382.
4. Herlihy, M.P. (1991) Wait-free synchronization. ACM Trans. on Program. Languages and Systems 13, 124–149.
5. Herlihy, M.P. and Wing, J. (1990) Linearizability: a correctness condition for concurrent objects. ACM Trans Program Lang Syst 12, 463–492.