hennessy-milner-logic
There are 0 repository under hennessy-milner-logic topic.
benkeks / equivalence-fiddle
Tool for finding the best ways of equating / preordering / distinguishing finite process models.
Language:Scala 3
There are 0 repository under hennessy-milner-logic topic.
benkeks / equivalence-fiddleTool for finding the best ways of equating / preordering / distinguishing finite process models.