Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type Approach.

S. Kaplan, Amir Pnueli

Browse the full STACS paper archive.