Proving Linearizability Via Non-atomic Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John Derrick, Gerhard Schellhorn, Heike Wehrheim. Proving Linearizability Via Non-atomic Refinement. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 195-214, Springer, 2007. [doi]

This author has not been identified. Look up 'John Derrick' in GoogleThis author has not been identified. Look up 'Gerhard Schellhorn' in GoogleThis author has not been identified. Look up 'Heike Wehrheim' in Google

runs on WebDSL