A Categorical Axiomatics for Bisimulation.

Gian Luca Cattani John Power Glynn Winskel

Published in: CONCUR (1998)

Keyphrases

categorical data
databases
attribute values
genetic algorithm
multiresolution
numerical data
numerical values