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

The exam requires negotiating with me a task for a project.
Usually this requires writing an implementation of some algorithm,
performing some evalutation (accuracy, performance, etc.), and/or
studying some paper(s) from the literature.
The deliverables for such tasks tyipically include either
source code + short documentation + evaluation results
or a 5-6 page report on the paper(s) to be examined.
On the exam day, you are required to give a presentation describing
your findings. Presentations should last **40 minutes at most**, plus
some time for questions: such questions will be related to the project.
(If you can't use a laptop of
yours for the presentation, please notify me in advance.)
You also need to **provide (by email) your deliverables at least 2 days
before the exam day**.
On the exam day, I will also require
you to provide the file you used for your presentation.

Remember to register for the exam in ESSE3.

- To be announced

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)

Additional material:

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

Roberto Zunino, 2012