Characteristic Bisimulation for Higher-Order Session Processes.

Dimitrios Kouzapas Jorge A. Pérez Nobuko Yoshida

Published in: CONCUR (2015)

Keyphrases

higher order
natural images
high order
pairwise
low order
real time
information systems
case study
markov random field
conditional random fields
databases
genetic algorithm
anti unification