A rewriting-based process algebra engine
语言:Scala · GitHub 星标:8 · Fork:3
话题:acp · algebra · process-algebra · process-algebra-engine
在 GitHub 上查看原仓库