## Softwares

*Cellstar*: Segmentation & tracking software for round cells identification in
the brightfield microscopy images. See
here.
*Peptide* : Optimization of reaction networks based on abstraction
interpretation.

### Outdated

*React(C)*: an implementation of React(C). Since January 29, 2013. Implemented by Mathias John.
*James-Imp-Pi*: an implementation of the imperative pi-calculus. Since September 28, 2009. Implemented by Mathias John and our callaborator Stefan Rybacky from Rostock University.
*SpiCO*: The Stochastic pi-Calculus for Concurrent Objects. Implementation in Mozart-Oz. Since 27th of August 2007.