Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity.

Swen Jacobs Mouhammad Sakr

Published in: CoRR (2017)

Keyphrases

learning systems
complex systems
communication protocols
real time
neural network
real world
retrieval systems
application level