Processes, Terms and Cycles: Steps on the Road to Infinity

Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

  • Aart Middeldorp
  • Vincent van Oostrom
  • Femke van Raamsdonk
  • Roel de Vrijer

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3838)

Table of contents

  1. Front Matter
  2. Robin Milner
    Pages 1-5
  3. Albert Visser
    Pages 14-25
  4. Rob J. van Glabbeek
    Pages 26-39
  5. Krzysztof R. Apt
    Pages 55-69
  6. Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget
    Pages 70-87
  7. Paul Klint, Tijs van der Storm, Jurgen Vinju
    Pages 88-105
  8. Nachum Dershowitz
    Pages 127-147
  9. Richard Kennaway, Paula Severi, Ronan Sleep, Fer-Jan de Vries
    Pages 148-172
  10. Hans Zantema
    Pages 173-197
  11. J. C. M. Baeten, M. R. Mousavi, M. A. Reniers
    Pages 251-279
  12. Yuxin Deng, Catuscia Palamidessi, Jun Pang
    Pages 309-337
  13. Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik
    Pages 338-367
  14. Zena M. Ariola, Stefan Blom
    Pages 368-403
  15. Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
    Pages 404-444
  16. Jan A. Bergstra, C. A. (Kees) Middelburg
    Pages 445-495
  17. John Glauert, Delia Kesner, Zurab Khasidashvili
    Pages 496-553
  18. Back Matter

About this book


Bisimulation Extension aspect-oriented programming behavior expression reduction finite equational bases graph transformation lambda calculus logic model theory mu calculus process algebra semantics simulation term rewriting

Editors and affiliations

  • Aart Middeldorp
    • 1
  • Vincent van Oostrom
    • 2
  • Femke van Raamsdonk
    • 3
  • Roel de Vrijer
    • 4
  1. 1.Institute of Computer ScienceUniversity of InnsbruckAustria
  2. 2.Department of PhilosophyUtrecht UniversityUtrechtThe Netherlands
  3. 3.Department of Theoretical Computer ScienceVrije UniversiteitAmsterdamThe Netherlands
  4. 4.VU Vrije Universiteit Amsterdam 

Bibliographic information

Industry Sectors
IT & Software