Ebook: Processes, Terms and Cycles: Steps on the Road to Infinity: Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday
Author: Robin Milner (auth.) Aart Middeldorp Vincent van Oostrom Femke van Raamsdonk Roel de Vrijer (eds.)
- Tags: Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Artificial Intelligence (incl. Robotics), Mathematical Logic and Foundations
- Series: Lecture Notes in Computer Science 3838
- Year: 2005
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
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.
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.
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.
Content:
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 -
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.
Content:
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 -
....