alcestes/mpstk

Multiparty Session Types toolKit

语言：Scala · GitHub 星标：14 · Fork：4

话题：deadlock-avoidance · liveness · mcrl2 · model-checking · safety · session-types

在 GitHub 上查看原仓库