LEADER 04846nam 2200613 a 450 001 9910483407303321 005 20251116234752.0 010 $a3-540-32425-9 024 7 $a10.1007/11601548 035 $a(CKB)1000000000213566 035 $a(SSID)ssj0000319589 035 $a(PQKBManifestationID)11230373 035 $a(PQKBTitleCode)TC0000319589 035 $a(PQKBWorkID)10338217 035 $a(PQKB)10304820 035 $a(DE-He213)978-3-540-32425-6 035 $a(MiAaPQ)EBC3067872 035 $a(PPN)123099021 035 $a(BIP)13210771 035 $a(EXLCZ)991000000000213566 100 $a20051122d2005 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aProcesses, terms and cycles $esteps on the road to infinity : essays dedicated to Jan Willem Klop on the occasion of his 60th birthday /$fAart Middeldorp ... [et al.] (eds.) 205 $a1st ed. 2005. 210 $aBerlin $cSpringer-Verlag$dc2005 215 $a1 online resource (XVIII, 642 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3838 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-30911-X 320 $aIncludes bibliographical references and index. 327 $aThe 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. 330 $aThis Festschrift is dedicated to Jan Willem Klop on the occasion of his 60th birthdayon December 19,2005.Its focus is on the lambda calculus, term rewr- ing and process algebra, the ?elds where Jan Willem has made fundamental contributions. Without attempting to give a balanced account of Jan Willem's scienti'c achievements, we recall three accomplishments from the early years of his career that especially stand out. The ?rst is his counterexample showing that the extension of the lambda calculus with surjective pairing lacks the Church-Rosserproperty,or, in modern terminology, is not con'uent [7,9]. This settled a famous open problem, which had challenged several researchers in the lambda calculus community for years. The secondis his pioneeringworkintermrewriting.In hisPhDthesis[9],Jan Willem gave a systematic study of orthogonal rewriting in the general setting of combinatoryreductionsystems(CRSs),therebyputtingtheareasofhigher-order rewriting and orthogonality ?rmly on the map. Some of the ideas in the thesis trace back to the famous Blue Preprint [2], from the period that Jan Willem and some other students were graduating in mathematics and logic, under the supervision of Dirk van Dalen and Henk Barendregt. The third feat is the creation, together with Jan Bergstra [23], of the algebra of communicating processes (ACP). With his early work,Jan Willem provided inspiration for many years of fru- ful research, continuing to this day. For decades he has been a creative and stimulating force in the areas of term rewriting and process algebra. Some of his recent interests are in'nitary rewriting, graph rewriting and the geometry of processes. 410 0$aLecture notes in computer science ;$v3838. 606 $aLambda calculus 606 $aRewriting systems (Computer science) 606 $aMachine theory 615 0$aLambda calculus. 615 0$aRewriting systems (Computer science) 615 0$aMachine theory. 676 $a005.131 701 $aMiddeldorp$b Aart$f1963-$01756645 701 $aKlop$b J. W$01756646 712 02$aSpringerLink (Online service) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483407303321 996 $aProcesses, terms and cycles$94194077 997 $aUNINA