Specification and implementation of concurrently accessed data structures: An abstract data type approach

• Authors:

• S. Kaplan;A. Pnueli

• Affiliations:

• -;-

• Venue:
• 4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
• Year:
• 1987