Formal Analysis of Proactive, Distributed Routing.

Mojgan Kamali Peter Höfner Maryam Kamali Luigia Petre

Published in: SEFM (2015)

Keyphrases

formal analysis
distributed systems
formal methods
cooperative
distributed environment
agent model
machine learning
multi agent
routing algorithm
routing problem
databases
artificial intelligence
shortest path
computer networks
peer to peer networks
load balance