Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday

Robin Milner (auth.), Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer (eds.)354030911X, 9783540309116

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.

---

Table of contents :
Front Matter….Pages –
The Spectra of Words….Pages 1-5
On the Undecidability of Coherent Logic….Pages 6-13
Löb’s Logic Meets the μ -Calculus….Pages 14-25
A Characterisation of Weak Bisimulation Congruence….Pages 26-39
Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms….Pages 40-54
Explaining Constraint Programming….Pages 55-69
Sharing in the Weak Lambda-Calculus….Pages 70-87
Term Rewriting Meets Aspect-Oriented Programming….Pages 88-105
Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes….Pages 106-126
Primitive Rewriting….Pages 127-147
Infinitary Rewriting: From Syntax to Semantics….Pages 148-172
Reducing Right-Hand Sides for Termination….Pages 173-197
Reduction Strategies for Left-Linear Term Rewriting Systems….Pages 198-223
Higher-Order Rewriting: Framework, Confluence and Termination….Pages 224-250
Timing the Untimed: Terminating Successfully While Being Conservative….Pages 251-279
Confluence of Graph Transformation Revisited….Pages 280-308
Compositional Reasoning for Probabilistic Finite-State Behaviors….Pages 309-337
Finite Equational Bases in Process Algebra: Results and Open Questions….Pages 338-367
Skew and ω -Skew Confluence and Abstract Böhm Semantics….Pages 368-403
A Mobility Calculus with Local and Dependent Types….Pages 404-444
Model Theory for Process Algebra….Pages 445-495
Expression Reduction Systems and Extensions: An Overview….Pages 496-553
Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem….Pages 554-638
Back Matter….Pages –