Simulation of Biological systems (2009/10, Master of Science in Computer Science)

Information

This page will list the additional material used in the course.

References

Additional material:

• Pict Correctness Revised, P. Bidinger and A. Compagnoni - fair simulation of pi processes

Textbooks:

• D. Wilkinson, Stochastic Modelling for Systems Biology, Chapman & Hall/CRC, 2006. Homepage
• C. P. Fall, E. S. Marland, J. M. Wagner, and J. J. Tyson, Computational cell biology, Springer 2000.

Other Resources:

• A Calculus of Mobile Processes, R. Milner - Part 1 Part 2
• The Polyadic pi-Calculus: A Tutorial, R. Milner (the first part)
• An Introduction to the pi-Calculus, J. Parrow (page 27 and discussion)
• Pi-calculus: syntax and reduction semantics, F. Zappa Nardelli (slides)
• Some pi-calculus examples (slides)

Home

Roberto Zunino, 2010