From Semantics to Computer Science : Essays in Honour of Gilles Kahn (Hardcover)

Preface; List of contributors; 1. Determinacy in a synchronous π-calculus Roberto Amadio and Mehdi Dogguy; 2. Classical coordination mechanisms in the chemical model Jean-Pierre Banatre, Pascal Fradet and Yann Radenac; 3. Sequential algorithms as bistable maps Pierre-Louis Curien; 4. The semantics of dataflow with firing Edward A. Lee and Eleftherios Matsikoudis; 5. Kahn networks at the dawn of functional programming David B. MacQueen; 6. A simple type-theoretic language: mini-TT Thierry Coquand, Yoshiki Kinoshita, Bengt Nordstrom, and Makoto Takeyama; 7. Program semantics and infinite regular terms Bruno Courcelle; 8. Algorithms for equivalence and reduction to minimal form for a class of simple recursive equations Bruno Courcelle, Gilles Kahn, and Jean Vuillemin; 9. Generalized finite developments Jean-Jacques Levy; 10. Semantics of program representation graphs G. Ramalingam and Thomas Reps; 11. Tribute to a great meta-technologist - from centaur to the meta-environment Paul Klint; 12. Towards a theory of document structure Bengt Nordstrom; 13. Grammars as software libraries Aarne Ranta; 14. The Leordo computation system Erik Sandewall; 15. Theorem proving support in programming language semantics Yves Bertot; 16. Nominal verification of algorithm W Christian Urban and Tobias Nipkow; 17. A constructive denotational semantics for Kahn networks in Coq Christine Paulin-Mohring; 18. Asclepios: a research project-team at INRIA for the analysis and simulation of biomedical images Nicholas Ayache, Olivier Clatz, Herve Delingette, Gregoire Malandain, Xavier Pennec and Maxime Sermesant; 19. Proxy caching in split TCP: dynamics, stability and tail asymptotics Francois Baccelli, Giovanna Carofiglio, and Serguei Foss; 20. Two-by-two static, evolutionary, and dynamic games Pierre Bernhard and Frederic Hamelin; 21. Reversal strategies for adjoint algorithms Laurent Hascoet; 22. Reflections on INRIA and the role of Gilles Kahn Alain Bensoussan; 23. Can a systems biologist fix a tamagotchi? Luca Cardelli; 24. Computational science: a new frontier for computing Andrew Herbert; 25. The descendants of centaur: a personal view on Gilles Kahn's work Emmanuel Ledinot; 26. The tower of informatic models Robin Milner.