{"product_id":"a-journey-from-process-algebra-via-timed-automata-to-model-learning-essays-dedicated-to-frits-vaandrager-on-the-occasion-of-his-60th-birthday-paperback","title":"A Journey from Process Algebra Via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday - Paperback","description":"\u003cp\u003eby \u003cb\u003eNils Jansen\u003c\/b\u003e (Editor), \u003cb\u003eMariëlle Stoelinga\u003c\/b\u003e (Editor), \u003cb\u003ePetra Van Den Bos\u003c\/b\u003e (Editor)\u003c\/p\u003e\u003cp\u003eNon-Finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction.- Operational Causality.- Necessarily Sufficient and Sufficiently Necessary.- Axiomatizing consciousness, with applications.- Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory.- A Survey of Model Learning Techniques for Recurrent Neural Networks.- Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces.- Better Automata through Process Algebra.- Family-Based Fingerprint Analysis: A Position Paper.- What's in School? - Topic Maps for Secondary School Computer Science.- Tree-Based Adaptive Model Learning.- From Languages to Behaviors and Back.- The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic.- Equivalence Checking 40 Years After: A Review of Bisimulation Tools.- Apartness and Distinguishing formulas in Using the parallel ATerm library for parallel model checking and state space generation.- Active Automata Learning as Black-Box Search and Lazy Partition Refinement.- A Reconstruction of Ewens' Sampling Formula via Lists of Coins.- Rooted divergence-preserving branching bisimilarity is a congruence: a simpler proof.- Learning Language Intersections.- Runtime verification of compound components with ComMA.- A Basic Compositional Model for Spiking Neural Networks.- State Identification and Verification with Satisfaction.- A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm.- Minesweeper is difficult indeed!- Goodbye ioco.- Process Algebras and Flocks of Birds.- The Integration of Testing and Program Verification.- Discovering Directly-Follows Complete Petri Nets From Event Data.- Fair Must Testing for I\/O Automata.- Passive automata learning: DFAs and NFAs.\u003c\/p\u003e\u003ch3\u003eBack Jacket\u003c\/h3\u003e\u003cp\u003eThis Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003e \u003cp\u003eThe volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.\u003c\/p\u003e\u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 581\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 1.21 x 9.21 x 6.14 IN\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003eIllustrated:\u003c\/strong\u003e Yes\u003c\/div\u003e\u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e September 07, 2022\u003c\/div\u003e","brand":"Books by splitShops","offers":[{"title":"Default Title","offer_id":42121986670727,"sku":"9783031156281","price":89.08,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0601\/2623\/2711\/files\/a986ce766fb7d816931b8d3b2a0dd31a.webp?v=1732557306","url":"https:\/\/booksby.splitshops.com\/products\/a-journey-from-process-algebra-via-timed-automata-to-model-learning-essays-dedicated-to-frits-vaandrager-on-the-occasion-of-his-60th-birthday-paperback","provider":"Books by splitShops","version":"1.0","type":"link"}