↓Skip to main content
  1. Tags/

action semantics

Action Environment

The Action Environment (2001-2005) was a prototype tool that supported use of so-called constructive action semantics (a hybrid of action semantics and component-based semantics).

Maude Action Tool

MAT (1998–2001) was a prototype tool for action semantics and MSOS, based on Maude.

ASD Tools

The ASD Tools (1992–1996) supported the original version of action semantics.