Proving Safety and Liveness of Communicating Processes with Examples.

Jayadev Misra K. Mani Chandy Todd Smith

Published in: PODC (1982)

Keyphrases

communication channels
digital libraries
stochastic processes
data sets
information retrieval
learning algorithm
clustering algorithm
decision trees
lower bound