×

SPADES

swMATH ID: 2205
Software Authors: Harrison, Peter G.; Strulo, Ben
Description: SPADES – a process algebra for discrete event simulation
Homepage: http://logcom.oxfordjournals.org/content/10/1/3.short
Keywords: process algebra; discrete event simulations
Related Software: PEPA; ipc; longmemo; Bio-PEPA; YALMIP; CPLEX; Parkway; hMETIS; CGS; PVM; MoDeST; CADP
Referenced in: 27 Publications

Referencing Publications by Year