| 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.