Specifications and Proofs for Abstract Data Types in Concurrent Programs.
Susan S. OwickiPublished in: Program Construction (1978)
Keyphrases
- abstract data types
- concurrent programs
- process algebra
- data types
- formal specification
- programming language
- concurrent systems
- concurrent programming
- object oriented databases
- relational database systems
- data model
- asynchronous circuits
- high level
- data structure
- spatio temporal data
- relational databases
- databases
- database
- concurrent processes
- database management systems
- web applications
- object oriented
- distributed systems
- preprocessing