Ownership Types for the Join Calculus.

Marco Patrignani Dave Clarke Davide Sangiorgi

Published in: FMOODS/FORTE (2011)

Keyphrases

real time
bayesian networks
data sets
query processing
query execution
computer algebra