Algebraic Specifications of Abstract Data Types and CCS: An Operational Junction.

Published in: ADT (1986)

Keyphrases

abstract data types
data types
object oriented databases
programming language
relational database systems
data abstraction
spatial aggregation
data model
database systems
high level
decision making
formal specification
algebraic operations
data structure
relational databases
data storage
database