Duration Calculus: Logical Foundations.

Michael R. Hansen Zhou Chaochen

Published in: Formal Aspects Comput. (1997)

Keyphrases

logical foundations
active databases
database
databases
decision making
data model
distributed systems
software development