Giters

rkolovanov / promela-algorithms

Моделирование алгоритмов, решающих задачу взаимоисключающего доступа (ВИД)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

promeladistributed-algorithmsstudy

promela-algorithms

Модели:

  • Алгоритм Деккера
  • Алгоритм Дейкстра для n процессов
  • Алгоритм Петерсона
  • Алгоритм Петерсона для n процессов

About

Моделирование алгоритмов, решающих задачу взаимоисключающего доступа (ВИД)

promeladistributed-algorithmsstudy

License:MIT License

Languages

Language:Promela 100.0%