PROGRAMS BY maude-msos-tool.sf.net

Maude MSOS Tool is a formal environment for the specification of Modular Structural Operational Semantics specifications. It is particularly useful for the formal specification of programming languages and concurrent systems