Some Congruence Properties for Pi-Calculus Bisimilarities.

Michele Boreale Davide Sangiorgi

Published in: Theor. Comput. Sci. (1998)

Keyphrases

search algorithm
desirable properties
data mining
image sequences
formal language
genetic algorithm
image processing