Min Zhang: Modelling and Analyzing Systems Biology Using Process Algebra. (Modélisation et analyse de processus biologiques dans des algèbres de processus). Paris Diderot University, France 2007