Formal Verification of a Lock-Free Stack with Hazard Pointers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif. Formal Verification of a Lock-Free Stack with Hazard Pointers. In Antonio Cerone, Pekka Pihlajasaari, editors, Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings. Volume 6916 of Lecture Notes in Computer Science, pages 239-255, Springer, 2011. [doi]

This author has not been identified. Look up 'Bogdan Tofan' in GoogleThis author has not been identified. Look up 'Gerhard Schellhorn' in GoogleThis author has not been identified. It may be one of the following persons:

Wolfgang Reif

Look up 'Wolfgang Reif' in Google

runs on WebDSL