Releases of the open-source tools published by the AESOP group, including:

Hydra

The HYpergraph-based Distributed Response-time Analyser

BAM

The BioAmbient Machine, for simulating stochastic BioAmbients

Parkway

The first parallel, hypergraph partitioning software

Imperial PEPA Compiler

Please see the ipc site