Login / Signup

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

S. KaplanAmir Pnueli
Published in: STACS (1987)
Keyphrases
  • data structure
  • abstract data types
  • data types
  • data abstraction
  • high level
  • data model
  • user defined
  • formal specification
  • website
  • database systems
  • programming language
  • denotational semantics