Processes, Terms and Cycles: Steps on the Road to Infinity (eBook, PDF)

Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
Redaktion: Middeldorp, Aart; de Vrijer, Roel; Raamsdonk, Femke van; Oostrom, Vincent van

• Format: PDF

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 642
• Erscheinungstermin: 11. Dezember 2005
• Englisch
• ISBN-13: 9783540324256
• Artikelnr.: 44225515

Autorenporträt

Aart Middeldorp, University of Innsbruck, Austria / Vincent van Oostrom, Utrecht Universiteit, The Netherlands / Femke van Raamsdonk, Vrije Universiteit, Amsterdam, The Netherlands / Roel de Vrijer, Vrije Universiteit, Amsterdam, The Netherlands

Inhaltsangabe

The Spectra of Words.- On the Undecidability of Coherent Logic.- Löb's Logic Meets the ?-Calculus.- A Characterisation of Weak Bisimulation Congruence.- Böhm'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 ?-Skew Confluence and Abstract Böhm 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.