Programming Research Group  -  University of Amsterdam  -  TR P0002


                Generation of animations for simulation of
                      process algebra specifications

                        Bob Diertens


We present a tool for generation of animations  from process algebra
specifications  for use in  simulation. These  animations can give a
clear view of the simulation, and so they make testing easier.
The implementation  of the tool is  explained with  the use of a few
examples. Adaptations that have to be made to the specifications and
some restrictions that apply are also explained.