A Fresh Calculus for Name Management.

Davide Ancona Eugenio Moggi

Published in: GPCE (2004)

Keyphrases

information systems
decision support
information management
management system
data processing
case study
multiscale
data management
real time
decision making
knowledge management
algebraic structure
provably correct