/pisc-dotarrow

DotArrow is the codename for "mobile code" in the context of a Pi-calculus to Scala translator

Primary LanguageScalaMIT LicenseMIT

Stargazers

No one’s star this repository yet.