Processes, Terms and Cycles: Steps on the Road to Infinity过程、期限与周期：迈向无穷大之路：献给Jan Willem Klop 60诞辰文集

This Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthday. The volume comprises a total of 23 scientific papers by close friends and colleagues, written specifically for this book. The papers are different in nature: some report on new research, others have the character of a survey, and again others are mainly expository. Every contribution has been thoroughly refereed at least twice. In many cases the first round of referee reports led to significant revision of the original paper, which was again reviewed. The articles especially focus upon the lambda calculus, term rewriting and process algebra, the fields to which Jan Willem Klop has made fundamental contributions.

The Spectra of Words
On the Undecidability of Coherent Logic
Lob's Logic Meets the #-Calculus
A Characterisation of Weak Bisimulation Congruence
BShm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms
Explaining Constraint Programming
Sharing in the Weak Lambda-Calculus
Term Rewriting Meets Aspect-Oriented Programming
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes
Primitive Rewriting
Infinitary Rewriting: From Syntax to Semantics
Reducing Right-Hand Sides for Termination
Reduction Strategies for Left-Linear Term Rewriting Systems
Higher-Order Rewriting: Framework, Confluence and Termination
Timing the Untimed: Terminating Successfully While Being Conservative
Confluence of Graph Transformation Revisited
Compositional Reasoning for Probabilistic Finite-State Behaviors
Finite Equational Bases in Process Algebra: Results and Open Questions
Skew and w-Skew Confluence and Abstract BShm Semantics
A Mobility Calculus with Local and Dependent Types
Model Theory for Process Algebra
Expression Reduction Systems and Extensions: An Overview
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem
Author Index