process-algebra

There are 0 repository under process-algebra topic.

• tdi / pyPEPA

  pypepa - Python toolset for PEPA

  pythonprocess-algebrascienceprobability
  Language:Python 12

• scala-subscript / subscript

  acpalgebraprocess-algebraprocess-algebra-engine
  Language:Scala 9

• anatoliykmetyuk / free-acp

  A rewriting-based process algebra engine

  algebraprocess-algebra-engineacpprocess-algebra
  Language:Scala 7

• binghe / HOL-CCS

  Calculus of Communicating Systems (CCS) in Higher Order Logic (HOL4)

  concurrencyhigher-order-logicprocess-algebra
  Language:TeX 6

• CinRC / IRDC-CCSK

  Java implementation of distributed reversible computation verification

  javaprocess-algebrareversible-computationcalculus-of-communicating-systemsccsk
  Language:Java 4
• pew

  workflowfm / pew

  A persistent execution engine for pi-calculus workflows

  business-process-managementworkflow-engineworkflow-managementworkflowsprocess-algebra-engineprocess-algebra
  Language:Scala 3

• epost / mcrl2-mode

  Emacs mode for mCRL2 specification language

  mcrl2modelingverificationemacs-modeprocess-algebra
  Language:Emacs Lisp 2