iprotocol.1
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.1.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.1.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.1.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.2
| Process Automaton |
 |
iprotocol.2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.2.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.2.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.2.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.3
| Process Automaton |
 |
iprotocol.3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.3.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.3.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.3.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.4
| Process Automaton |
 |
iprotocol.4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.4.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.4.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.4.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.5
| Process Automaton |
 |
iprotocol.5
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.5.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.5.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.5.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.6
| Process Automaton |
 |
iprotocol.6
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.6.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.6.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.6.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.7
| Process Automaton |
 |
iprotocol.7
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.7.prop2
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.7.prop3
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
iprotocol.7.prop4
| BFS Level | Deadlock States | Accepting States | Edges | Back Level Edge |
 |
 |
 |
 |
 |
| in-degree | out-degree | Back Level Edge Length |
|---|
 |
 |
 |
