Advertisement

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
Book

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

Keywords

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
Biotechnology
IT & Software