Here you can find all our publications.
Back to the overview of all KIV projects.
For general informations on KIV and a download site for the whole system refer to this page.
[FMOODS08] | Mechanising a correctness proof for a lock-free concurrent stack, John Derrick, Gerhard Schellhorn and Heike Wehrheim submitted to FMOODS 2008, Oslo, Norway, 2008 |
[IFM07] | Proving linearizabilty via non-atomic refinement, John Derrick, Gerhard Schellhorn and Heike Wehrheim, Proceedings iFM 2007, Springer LNCS 3491, p. 195-214 |
[HeWi90] | Linearizability: A Correctness Condition for Concurrent Objects, M. Herlihy and J. M. Wing, ACM Transactions on Programming Languages and Systems, vol. 12, no. 3, p. 463-492 |