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

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

  • DOI https://doi.org/10.1007/11601548
  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-30911-6
  • Online ISBN 978-3-540-32425-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book