James-Imp-Pi An Implementation of the Imperative Pi-Calculus

BioComputing project, LIFL and IRI, Lille

Modeling and Simulation Grouping, Institute of Computer Science, University of Rostock

The imperative pi-calculus is a programming language that adresses stochastic modeling and simulation in systems biology. It is an extension of the attributed pi-calculus by a global store, and previous dialects of the stochastic pi-calculus. The imperative pi-calculus was proposed in cooperation by two groups in Lille and Rostock, by Mathias John from the University of Rostock, and Cedric Lhoussaine and Joachim Niehren from BioComputing group of the LIFL and the IRI in Lille.

The James-Pi-Imp implementation of the imperative pi-calculus was developed in Java by Mathias John and Stefan Rybacki from the University of Rostock. A very alpha version is available since September 28, 2009.

An example for a James-Pi-Imp program that models a repressilator, i.e., 3 genes that each suppress the next in a cycle. This is an typical example of an oszylating dynamical system.