From: Formal analysis of subnet-based failure recovery algorithm in wireless sensor and actor and network
# | Field name | Field description |
---|---|---|
1 | Nodes | The first field, nodes, is a collection of nodes in a subnet |
2 | Edges | Edges represent communication links between nodes |
3 | Communication_interface | This field is used for describing communication within the subnet |