Sequential composition of protocols without simultaneous termination.

Yehuda Lindell Anna Lysyanskaya Tal Rabin

Published in: PODC (2002)

Keyphrases

web service composition
data sets
real time
machine learning
multi agent
digital libraries
active rules
communication protocols
term rewriting