chrisbartoloburlo/stmonitor

A monitor synthesis tool for session types.

语言：Scala · GitHub 星标：5 · Fork：3

话题：communication-protocols · monitor · monitor-synthesiser · scala

在 GitHub 上查看原仓库