Gemia 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.