ASD Tools
The ASD Tools (1992–1996) supported the original version of action semantics.
They were based on the ASF+SDF Meta-Environment, and developed with Arie van Deursen (then at CWI, Amsterdam).
The ASD Tools (1992–1996) supported the original version of action semantics.
They were based on the ASF+SDF Meta-Environment, and developed with Arie van Deursen (then at CWI, Amsterdam).