External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Model Checking of Linearizability of Concurrent List Implementations

Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. In Tayssir Touili, Byron Cook, Paul Jackson, editors, Computer Aided Verification, 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings. Volume 6174 of Lecture Notes in Computer Science, pages 465-479, Springer, 2010. [doi]

Authors

Pavol Cerný

This author has not been identified. Look up 'Pavol Cerný' in Google

Arjun Radhakrishna

This author has not been identified. Look up 'Arjun Radhakrishna' in Google

Damien Zufferey

This author has not been identified. Look up 'Damien Zufferey' in Google

Swarat Chaudhuri

This author has not been identified. It may be one of the following persons: Look up 'Swarat Chaudhuri' in Google

Rajeev Alur

This author has not been identified. It may be one of the following persons: Look up 'Rajeev Alur' in Google
runs on