#

peterson

Here are 5 public repositories matching this topic...

emmanuel-h / veritaf

CTL + LTL solver for "Myths about the mutual exclusion problem" of Peterson

solver ltl ctl veritaf peterson kripke

Updated Feb 2, 2017

Peterfilho / Locadora-Cinemix

Projeto da matéria de Linguagem Orientada a Objeto na Universidade Tecnologica Federal do Paraná utilizando swing

mysql java crud swing desktop developer utfpr academy peterson locadora cinemix

Updated Nov 15, 2017
Java

letsgogeeky / Peterson-solution-for-mutual-exclusion

Concurrency and mutual exclusion solution using Peterson algorithm.

c computer-science peterson mutual-exclusion

Updated Feb 27, 2018
Makefile

jwbambacht / distributed-algorithms

Distributed Algorithms Lab implementations

java distributed-systems consensus rmi peterson distributed-algorithms birman-schiper-stephenson

Updated Dec 17, 2019
Java

samuelterra22 / Exercise-List-Operational-Systems

Updated Nov 3, 2019
C

Improve this page

Add a description, image, and links to the peterson topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the peterson topic, visit your repo's landing page and select "manage topics."