bisimilarity
There are 1 repositories under bisimilarity topic.
input-output-hk/transition-systems
Support for working with labeled transition systems
There are 1 repositories under bisimilarity topic.
Support for working with labeled transition systems