Deadlocks and dihomotopy in mutual exclusion models - RAUSSEN, Martin (Theoretical computer science, 2006)
Keywords: Algebraic topology; Algorithmics. Computability. Computer arithmetics; Applied sciences; Automata. Abstract machines. Turing machines; Computer science; control theory; systems; Deadlock detection; Dihomotopy; Exact sciences and technology; Mathematics; Mutual exclusion; Sciences and techniques of general use; Theoretical computing; Topology. Manifolds and cell complexes. Global analysis and analysis on manifolds; Dihomotopy; Mutual exclusion; Deadlock detection; Deadlock; Homotopy theory; Automaton; Computer theory; Concurrency; Fast algorithm