Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler.

Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. Gilmore, William J. Knottenbelt

Browse the full MASCOTS paper archive.