Typed behavioural equivalences for processes in the presence of subtyping.

Matthew Hennessy Julian Rathke

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

connected components
higher order
communication channels
information technology
database systems
multi agent systems
lambda calculus
relational algebra
relational databases
preprocessing
database
decision trees
website
image processing
knowledge base
computer vision
social networks
data mining