Skip to main content
SpringerLink
Log in

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

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

  • Book
  • © 2005

Overview

Editors:
  1. Aart Middeldorp

    1. Institute of Computer Science, University of Innsbruck, Austria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Vincent Oostrom

    1. Department of Philosophy, Utrecht University, Utrecht, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Femke Raamsdonk

    1. Department of Theoretical Computer Science, Vrije Universiteit, Amsterdam, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Roel Vrijer

    1. VU Vrije Universiteit Amsterdam,  

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 chapters)

  1. Front Matter

    Download chapter PDF

  2. The Spectra of Words

    • Robin Milner
    Pages 1-5

  3. On the Undecidability of Coherent Logic

    • Marc Bezem
    Pages 6-13

  4. Löb’s Logic Meets the μ-Calculus

    • Albert Visser
    Pages 14-25

  5. A Characterisation of Weak Bisimulation Congruence

    • Rob J. van Glabbeek
    Pages 26-39

  6. Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms

    • Richard Statman, Henk Barendregt
    Pages 40-54

  7. Explaining Constraint Programming

    • Krzysztof R. Apt
    Pages 55-69

  8. Sharing in the Weak Lambda-Calculus

    • Tomasz Blanc, Jean-Jacques Lévy, Luc Maranget
    Pages 70-87

  9. Term Rewriting Meets Aspect-Oriented Programming

    • Paul Klint, Tijs van der Storm, Jurgen Vinju
    Pages 88-105

  10. Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes

    • Fabio Gadducci, Ugo Montanari
    Pages 106-126

  11. Primitive Rewriting

    • Nachum Dershowitz
    Pages 127-147

  12. Infinitary Rewriting: From Syntax to Semantics

    • Richard Kennaway, Paula Severi, Ronan Sleep, Fer-Jan de Vries
    Pages 148-172

  13. Reducing Right-Hand Sides for Termination

    • Hans Zantema
    Pages 173-197

  14. Reduction Strategies for Left-Linear Term Rewriting Systems

    • Yoshihito Toyama
    Pages 198-223

  15. Higher-Order Rewriting: Framework, Confluence and Termination

    • Jean-Pierre Jouannaud
    Pages 224-250

  16. Timing the Untimed: Terminating Successfully While Being Conservative

    • J. C. M. Baeten, M. R. Mousavi, M. A. Reniers
    Pages 251-279

  17. Confluence of Graph Transformation Revisited

    • Detlef Plump
    Pages 280-308

  18. Compositional Reasoning for Probabilistic Finite-State Behaviors

    • Yuxin Deng, Catuscia Palamidessi, Jun Pang
    Pages 309-337

  19. Finite Equational Bases in Process Algebra: Results and Open Questions

    • Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik
    Pages 338-367

  20. Skew and ω-Skew Confluence and Abstract Böhm Semantics

    • Zena M. Ariola, Stefan Blom
    Pages 368-403
Back to top

Keywords

Editors and Affiliations

  • Institute of Computer Science, University of Innsbruck, Austria

    Aart Middeldorp

  • Department of Philosophy, Utrecht University, Utrecht, The Netherlands

    Vincent Oostrom

  • Department of Theoretical Computer Science, Vrije Universiteit, Amsterdam, The Netherlands

    Femke Raamsdonk

  • VU Vrije Universiteit Amsterdam,  

    Roel Vrijer

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation