Session Types for Link Failures (Technical Report).

Manuel Adameit Kirstin Peters Uwe Nestmann

Published in: CoRR (2016)

Keyphrases

technical report
link failure
decision trees
motion estimation
evolutionary algorithm
optical flow
data warehouse