  We describe a Common Lisp package suitable for the high-level design,
specification, simulation, and instrumentation of real-time distributed
algorithms and hardware on which to run them. We discuss various design
decisions around the package structure, and we explore their consequences with
small examples.
