
include "Network.csp"

SYSTEM = BehaviourLeaderElectionNetwork

assert BehaviourLeaderElectionNetwork :[deadlock free [F]]
