• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Proving Safety and Liveness of Communicating Processes with Examples.

Jayadev MisraK. Mani ChandyTodd Smith
Published in: PODC (1982)
Keyphrases
  • communication channels
  • digital libraries
  • stochastic processes
  • data sets
  • information retrieval
  • learning algorithm
  • clustering algorithm
  • decision trees
  • lower bound