Proving uniformity and independence by self-composition and coupling.

Gilles Barthe Thomas Espitau Benjamin Grégoire Justin Hsu Pierre-Yves Strub

Published in: CoRR (2017)

Keyphrases

conditional independence
web service composition
data sets
neural network
data mining
website
lower bound
multiresolution
web services composition