Support for Graphs of Processes in a Command Interpreter.
Modular Design for Simulation.
RTS: A System to Simulate the Real Time Cost Behaviour of Parallel Computations.
NSEDIT: A Syntax-directed Editor and Testing Tool Based on Nassi-Shneiderman Charts.
GNU Emacs as a Dynamically Extensible Programming Environment.
A LISP Implementation of the Model for 'Communicating Sequential Processes'.