#

self-stabilization

Here are 2 public repositories matching this topic...

UCY-LINC-LAB / Self-Stabilization-Edge-Simulator

A discrete-event simulator for the edge computing paradigm

distributed-systems simulator edge-computing self-stabilization

Updated Jan 16, 2020
Java

alidoostnia / pif

Probabilistic analysis of self-stabilizing systems: A case study on a mutual exclusion algorithm

model-checking probabilistic-programming markov-decision-processes probabilistic-models approximation-algorithms self-stabilization

Updated May 28, 2023
Java

Improve this page

Add a description, image, and links to the self-stabilization 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 self-stabilization topic, visit your repo's landing page and select "manage topics."