Open Problems Related to Axiomatic Descriptions of Programs.

Michal Grabowski

Published in: J. Inf. Process. Cybern. (1989)

Keyphrases

open problems
database theory
long standing
case study
multidatabase transaction management
real time
computational advertising
axiomatic characterization
distributed systems