↓
Skip to main content
Peter Mosses
Affiliations
Meetings
Publications
Research
Software
Tags
Affiliations
Meetings
Publications
Research
Software
Tags
Home
/
Tags
/
Maude
/
Maude
Maude Action Tool
MAT (1998–2001) was a prototype tool for action semantics and MSOS, based on Maude.