Leslie Lamport

writing, written and oral presentation of scientific results. Volume des enseignements Heures en présentiel Cours Magistraux Travaux Dirigés Travaux Pratiques Cours intégrés TD sur machine Accompagnement Bibliographie : How to write a Proof, by Leslie Lamport (1993) Professional Communication in Computer Science : An Introduction to the Art of Communicating Ideas and Results in Computer Science , by Luca Aceto Jri Srba Course (http://www.cs.aau.dk/~srba/courses/PDK-08/) Mode d'évaluation : Epreuves

does not specify a version number of this License, you may choose any version ever published (not as a draft) by the Free Software Foundation. Colophon A Ce document a et´ ecrit en L TEX, langage de mise en page de documents ecrit par ´e´ ´ Leslie Lamport. L’´ diteur de texte utilis´ est Emacs1 , initialement ecrit par Richard Stallman. e e ´ Le document a et´ produit sur un syst` me Debian GNU/Linux2. ´e e L’auteur3 de ce document l’a r´ alis´ initialement pour l’association Tuxbihan 4. e e

LR(k), la programmation lettrée.... • Alan Kay, précurseur de la programmation orientée objet et à l’origine de Smalltalk. • Brian Kernighan, co-auteur du premier livre sur le langage C avec Dennis Ritchie, coauteur des langages AWK et AMPL. • Leslie Lamport, LaTeX, algorithmes distribués. • Ada Lovelace, première programmeuse au monde (a donné son prénom au langage ADA) • Yukihiro Matsumoto, créateur de Ruby. • Bertrand Meyer, inventeur de Eiffel. • Robin Milner, inventeur de ML, de LCF (le premier

(FORMATS’03), volume 2791 of Lecture Notes in Computer Science, pages 60–72. Springer, 2003. Rajeev Alur and Thomas A. Henzinger. Real-time logics : Complexity and expressiveness. Information and Computation, 104(1) :35–77, 1993. Martín Abadi and Leslie Lamport. The existence of refinement mappings. Theoretical Computer Science, 82(2) :253–284, 1991. Tuomas Aura and Johan Lilius. A causal semantics for time Petri nets. Theoretical Computer Science, 243(1–2) :409–447, 2000. Rajeev Alur, Salvatore La