Certifying data in multiparty session types.

Bernardo Toninho Nobuko Yoshida

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

data sets
image data
raw data
database
data analysis
knowledge discovery
data points
data structure
high dimensional data
synthetic data
input data
spatial data
training data
data sources
end users
data processing
data collection
privacy preserving
log data