lamport


about lamport

see this page

  • lamport.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)

  • lamport.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)

  • lamport.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)

  • lamport.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)

  • lamport.6

    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)