Modelling Microsoft COM Using pi-Calculus.

Loe M. G. Feijs

Published in: World Congress on Formal Methods (1999)

Keyphrases

business intelligence
algebraic structure
neural network
website
databases
web search
computer algebra
real time
genetic algorithm
information systems
modelling language
windows xp
microsoft business intelligence