dekker-algorithm

There are 0 repository under dekker-algorithm topic.

• nikita9604 / Dekker-s-Algorithm

  Dekker's Algorithm using Scilab

  scilabdekker-algorithmprocess-synchronizationoperating-system
  Language:Scilab 2

• taewon-Nub / mutex_algorithm

  use Mac OS (macbook air m1)

  cdekker-algorithmdijkstra-algorithmmutexpeterson-algorithmsemaphore
  0

• rkolovanov / promela-algorithms

  Моделирование и верификация распределенных алгоритмов с использованием языка Promela и верификатора Spin. Модели алгоритмов решения задачи взаимоисключающего доступа: Алгоритм Деккера, Алгоритм Петерсона, Алгоритм Дейкстра. Модель алгоритма контроллера светофора на сложном перекрестке.

  promelastudydekker-algorithmdijkstra-algorithmmutual-exclusion-algorithmpeterson-algorithmspincrossroad-controller-algorithm
  Language:Promela