Gemia is a Haskell module that implements some operations on Modal Interface
Automata (MIA). A document that describes how the Gemia module is used to
describe concurrent systems on basis of MIA can be generated by running
make.
sfendrich/gemia
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|