Bisimulation in Name-Passing Calculi without Matching.

Michele Boreale Davide Sangiorgi

Published in: LICS (1998)

Keyphrases

matching algorithm
graph matching
image matching
string matching
databases
pattern matching
approximate matching
data sets
genetic algorithm
information systems
case study
input image
template matching
matching process
matching scheme