Programas por maude-msos-tool.sf.net

Maude MSOS Tool é um ambiente formal para especificação de semântica operacional estrutural modular. É particularmente útil para a especificação formal de linguagens de programação e sistemas simultâneos.