A verified messaging system.

William Mansky Andrew W. Appel Aleksey Nogin

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

fault tolerant
real time
artificial intelligence
preprocessing
publish subscribe
data mining
multi agent
end users