This is a GAP package that introduces algorithms for asynchronous automata. You can download GAP from https://www.gap-system.org/ and place this package in the pkg directory.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a GAP package that introduces algorithms for asynchronous automata. You can download GAP from https://www.gap-system.org/ and place this package in the pkg directory.