needham
about needham
see this page
needham.1
Process Automaton |
 |
in-degree | out-degree |
 |
 |
BFS level | Back level edge length | Error states |
 |
 |
 |
DFS depth | DFS cycle length | DFS stack |
DFS error states |
 |
 |
 |
 |
DFS depth(rev) | DFS cycle length(rev) | DFS stack(rev) |
DFS error states(rev) |
 |
 |
 |
 |
needham.2
Process Automaton |
 |
in-degree | out-degree |
 |
 |
BFS level | Back level edge length | Error states |
 |
 |
 |
DFS depth | DFS cycle length | DFS stack |
DFS error states |
 |
 |
 |
 |
DFS depth(rev) | DFS cycle length(rev) | DFS stack(rev) |
DFS error states(rev) |
 |
 |
 |
 |
needham.3
Process Automaton |
 |
in-degree | out-degree |
 |
 |
BFS level | Back level edge length | Error states |
 |
 |
 |
DFS depth | DFS cycle length | DFS stack |
DFS error states |
 |
 |
 |
 |
DFS depth(rev) | DFS cycle length(rev) | DFS stack(rev) |
DFS error states(rev) |
 |
 |
 |
 |
needham.4
Process Automaton |
 |
in-degree | out-degree |
 |
 |
BFS level | Back level edge length | Error states |
 |
 |
 |
DFS depth | DFS cycle length | DFS stack |
DFS error states |
 |
 |
 |
 |
DFS depth(rev) | DFS cycle length(rev) | DFS stack(rev) |
DFS error states(rev) |
 |
 |
 |
 |