Termination analyzer of π-calculus processes by reduction to sequential programs
Primary LanguageOCamlMIT LicenseMIT
No one’s star this repository yet.