Weighted and Branching Bisimilarities from Generalized Open Maps.

Jérémy Dubut Thorsten Wißmann

Published in: FoSSaCS (2023)

Keyphrases

branch and bound
real time
set valued
database
databases
multiscale
multi agent
wide range
pairwise
evolutionary algorithm
weighted graph
order statistics