We discuss a new model for the analysis and simulation of stochastic systems which we call stochastic automata. Basically, they are a combination of the timed automata model and generalised semi-Markov processes (GSMPs for short). We discuss their behaviour and we compare them to the GSMPs model. In addition, we deene a stochastic process algebra that supports general distribution (both continu...