Revisiting Abstraction Functions For Reasoning About Concurrency.

Jeannette M. Wing

Published in: Refine (1992)

Keyphrases

high level
real time
data sets
artificial neural networks
formal theory
database
databases
machine learning
search algorithm
low level
management system
object oriented
software systems
qualitative reasoning