- The web page for 2004-2005.
- The main MPRI site.
- The official page of our course (not updated so often).
- Page of practicalities, probably only of interest to the lecturers.

Roberto AMADIO | Roberto.Amadio@pps.jussieu.fr |

Eric GOUBAULT | Eric.Goubault@cea.fr |

James LEIFER | James.Leifer@inria.fr |

Jean-Jacques LÉVY | Jean-Jacques.Levy@inria.fr |

Catuscia PALAMIDESSI | catuscia@lix.polytechnique.fr |

Francesco ZAPPA NARDELLI | Francesco.Zappa_Nardelli@inria.fr |

All courses will take place on **Wednesdays, 16.15-19.15, in
room 1C06 of Chevaleret**.

1 | 2005-09-28 | Catuscia | Shared memory: atomicity, examples [pdf,pdf4] |

2 | 2005-10-05 | Catuscia and Jean-Jacques | Shared memory: verification, report on Ariane 501 [pdf,pdf4] |

3 | 2005-10-12 | Catuscia | CCS: syntax and transitions, equivalences [pdf,pdf4] |

4 | 2005-10-19 | Catuscia | CCS: Simulation and bisimulation. Coinduction [pdf,pdf4] |

5 | 2005-10-26 | Catuscia | CCS: Up-to bisimulation. Weak bisimulation. Axiomatizations. Examples [pdf,pdf4] |

6 | 2005-11-02 | James | pi-calculus: syntax; reduction semantics; examples (polyadicity in terms of monadicity, synchronous in terms of asynchronous); labelled transitions; examples; strong bisimulation [pdf, pdf4] |

7 | 2005-11-09 | James | pi-calculus: sum, process abstrations, data structures, bisimulation proofs [pdf, pdf4] |

8 | 2005-11-16 | Francesco | pi-calculus: contextual equivalence and bisimilarity [pdf] |

9 | 2005-11-23 | review | |

10 | 2005-11-30 | first exam [pdf] (solutions below) | |

11 | 2005-12-07 | James | pi-calculus: up to techniques [pdf, pdf4] |

12 | 2005-12-14 | Roberto | A roundtrip from pi-calculus to synchronous languages. [pdf] |

2005-12-21 | vacation | ||

2005-12-28 | vacation | ||

13 | 2006-01-04 | Jean-Jacques | Distributed pi-calculus [cours13.pdf] |

14 | 2006-01-11 | Francesco | Asynchronous pi-calculus and CCS. Process languages with explicit spatial distribution [pdf] |

15 | 2006-01-18 | Eric | True concurrency versus interleaving semantics. Event structures and Petri nets as primary examples |

16 | 2006-01-25 | Francesco, James | Subtyping and bisimulation; solution of the Midterm exam [pdf] |

17 | 2006-02-01 | Eric | Application to the semantics of CCS |

18 | 2006-02-08 | Eric | Comparison of the expressiveness of different models |

19 | 2006-02-15 | James | review [pdf, pdf4] |

20 | 2006-02-22 | James | final exam (pi-calculus): please do not bring anything but a pen! We will provide all the review notes from the previous week with the exam. [pdf of exam with solutions] |

Last updated: "2006/11/17 10:28:15 UTC leifer".

Validate page.