Rely-Guarantee Protocols.

Filipe Militão Jonathan Aldrich Luís Caires

Published in: ECOOP (2014)

Keyphrases

neural network
real time
real world
image processing
communication protocols
database
data mining
database systems
multiscale
search algorithm
privacy preserving
multi party