#

lumpability

Here are 2 public repositories matching this topic...

ossef / XBorne-2017

XBorne tool

markov-chain low-rank birth-death-process steady-state-analysis lumpability stochastic-bounds

Updated May 13, 2024
C

NicolaAggio / Stochastic-model-of-a-Key-Distribution-Centre

Stochastic model and analysis of the Key Distribution Centre model, exploiting PEPA specification language.

cryptography encryption matlab formal-methods decryption stochastic-processes key-generation system-design modell pepa-language lumpability

Updated Dec 14, 2023

Improve this page

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