General purpose discrete event simulation using spades

Abstract. We discuss the use of the stochastic process algebra (spades) for discrete event simulation, and report on a prototype simulation algo-rithm that has been implemented. The use of process algebraic techniques in offers a number of advantages with respect to existing simulation techniques. The compositional nature of allows an on-the-fly construc-tion of the simulation model, and hence only the current state need to be saved., moreover, allows us to model and simulate on a general purpose basis, as the simulation algorithm applies to any well founded process specified in. Finally, specifications in are also amenable to tradi-tional process algebraic analysis of their functional behaviour, like e.g. absence of deadlocks. We illustrate our result with a simulation example of a nontrivial system.