Simulation and Animation of Process Algebra Specifications Bob Diertens We present a platform for simulation and animation of process algebra specifications. This platform is built with the use of the ToolBus. To ease the creation of animations, a library of functions has been made. How to use these functions is shown by giving animations for two simple specifications. The protocol used for interaction between the simulator, animation and the ToolBus is given as a PSF specification. An animation for this specification is also given.