protocols


about protocols

see this page

  • protocols.1

    Process Automaton
    in-degreeout-degree
    BFS levelBack level edge lengthError states
    DFS depthDFS cycle lengthDFS stack DFS error states
    DFS depth(rev)DFS cycle length(rev)DFS stack(rev) DFS error states(rev)

  • protocols.2

    Process Automaton
    in-degreeout-degree
    BFS levelBack level edge lengthError states
    DFS depthDFS cycle lengthDFS stack DFS error states
    DFS depth(rev)DFS cycle length(rev)DFS stack(rev) DFS error states(rev)

  • protocols.3

    Process Automaton
    in-degreeout-degree
    BFS levelBack level edge lengthError states
    DFS depthDFS cycle lengthDFS stack DFS error states
    DFS depth(rev)DFS cycle length(rev)DFS stack(rev) DFS error states(rev)

  • protocols.4

    Process Automaton
    in-degreeout-degree
    BFS levelBack level edge lengthError states
    DFS depthDFS cycle lengthDFS stack DFS error states
    DFS depth(rev)DFS cycle length(rev)DFS stack(rev) DFS error states(rev)

  • protocols.5

    Process Automaton
    in-degreeout-degree
    BFS levelBack level edge lengthError states
    DFS depthDFS cycle lengthDFS stack DFS error states
    DFS depth(rev)DFS cycle length(rev)DFS stack(rev) DFS error states(rev)