Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical NetworksFederica CiocchettaElsevier Science2008DOI 10.1016/j.entcs.2007.12.008
The PEPA Eclipse PluginTribastone, MircoACM SIGMETRICS Performance Evaluation Review2009DOI 10.1145/1530873.1530880
Bio-PEPA for Epidemiological ModelsFederica CiocchettaElsevier Science2010DOI 10.1016/j.entcs.2010.01.005