Generating Distinguishing Formulae for non-Open Bisimilar pi-calculus processes
Primary LanguageJupyter NotebookMIT LicenseMIT