
include "Network.csp"

assert BehaviourLeaderElectionNetwork :[deadlock free [F]]
