Published October 5, 2022
| Version v1
Journal article
Open
Fast Coalgebraic Bisimilarity Minimization (artifact)
Authors/Creators
Description
This is the artifact for the paper "Fast Coalgebraic Bisimilarity Minimization".
It contains a Rust program called "boa", which implements the algorithm for the paper.