Skip to content

feat: Heterogeneous behavioural equivalences#460

Merged
fmontesi merged 8 commits intomainfrom
bisimulation
Mar 30, 2026
Merged

feat: Heterogeneous behavioural equivalences#460
fmontesi merged 8 commits intomainfrom
bisimulation

Commits

Commits on Mar 27, 2026

Commits on Mar 29, 2026