lamport_nonatomic


about lamport_nonatomic

see this page

  • lamport_nonatomic.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_nonatomic.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_nonatomic.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)