pypepa - Python toolset for PEPA
-
Updated
Aug 20, 2016 - Python
#
process-algebra
Here are 9 public repositories matching this topic...
-
Updated
Jul 16, 2017 - Scala
A rewriting-based process algebra engine
-
Updated
Apr 8, 2017 - Scala
Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)
-
Updated
Oct 27, 2021 - TeX
Java implementation of distributed reversible computation verification
-
Updated
Sep 10, 2023 - Java
A persistent execution engine for pi-calculus workflows
workflow-engine process-algebra workflows process-algebra-engine workflow-management business-process-management
-
Updated
Dec 27, 2023 - Scala
Emacs mode for mCRL2 specification language
-
Updated
Dec 30, 2017 - Emacs Lisp
Formally verified mathematical foundations for multi-agent AI coordination — CSP process algebra, multiparty session types, spectral topology, temporal logic model checking, and probabilistic verification.
python csp verification coordination temporal-logic model-checking formal-methods process-algebra markov-chains session-types deadlock-detection multi-agent-systems ai-agents bisimulation spectral-graph-theory
-
Updated
Jul 31, 2026 - Python
Lean formalization of how behavioral equivalence checking can be generalized through abstract intrepretation
-
Updated
Sep 5, 2026 - TeX
Add this topic to your repo
To associate your repository with the process-algebra topic, visit your repo's landing page and select "manage topics."