|Documetation on the Actress system for action semantics||Documents|
Try using Actress on some existing examples, see How To Run Actress. Then try adding a repeat-until construct to the microSpecimen language, and use Actress to test the semantics.
N.B. It appears that anc assumes a different version of
action notation from ani and ag, so one can't use anc at present...
Version 1, Thu 03 May 2001 16:06:43 [pdm]