Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes.

Zhoujun Li Huowang Chen

Published in: TACAS (1999)

Keyphrases

data sets
high level
database
multiscale
binary images
process model
connected components
socio technical
databases
image segmentation
bayesian networks
functional dependencies
relational algebra