Barbed Bisimulation.

Robin Milner Davide Sangiorgi

Published in: ICALP (1992)

Keyphrases

equivalence relation
databases
neural network
image processing
computer vision
database
real world
information retrieval
lower bound
pattern recognition
special case
particle swarm optimization
knowledge representation
data points