A Fast and Verified Algorithm for Proving Store-and-Forward Networks Deadlock-Free.

Freek Verbeek Julien Schmaltz

Published in: PDP (2011)

Keyphrases

learning algorithm
optimal solution
intrusion detection
tree structure
database
databases
website
management system
distributed environment