Limit search to available items
Book Cover
E-book

Title Concurrency, compositionality, and correctness : essays in honor of Willem-Paul De Roever / Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)
Published Berlin ; New York : Springer, ©2010

Copies

Description 1 online resource (x, 375 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 5930. Festschrift
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Lecture notes in computer science ; 5930. 0302-9743
Lecture notes in computer science. Festschrift.
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Contents A Bibliography of Willem-Paul de Roever -- Playing Savitch and Cooking Games -- Compositionality: Ontology and Mereology of Domains -- Computer Science and State Machines -- A Small Step for Mankind -- On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention -- Explicit Fair Scheduling for Dynamic Control -- Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence -- Reasoning about Recursive Processes in Shared-Variable Concurrency -- Formal Semantics of a VDM Extension for Distributed Embedded Systems -- A Proof System for a PGAS Language -- Concurrent Objects à la Carte -- On the Power of Play-Out for Scenario-Based Programs -- Proving the Refuted: Symbolic Model Checkers as Proof Generators -- Meanings of Model Checking -- Smaller Abstractions for?CTL* without Next -- Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment -- Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules -- Automated Proofs for Asymmetric Encryption -- Counterexample Guided Path Reduction for Static Program Analysis
Summary Annotation This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of photographs. The theme under which the papers have been collected is Concurrency, Compositionality, and Correctness, reflecting the focus of Willem-Paul de Roever's research career. Topics addressed include model checking, computer science and state machines, ontology and mereology of domains, game theory, compiler correctness, fair scheduling and encryption algorithms
Bibliography Includes bibliographical references and index
Includes "A bibliography of Willem-Paul de Roever" (p. [1]-9)
Notes Print version record
In Springer eBooks
Subject Roever, W.-P. de, 1943-
SUBJECT Roever, W.-P. de, 1943-
Subject Parallel programming (Computer science)
Computer programs -- Correctness.
Computer science.
Computing Methodologies
Information Science
Electronic Data Processing
Informatique.
Computer programs -- Correctness
Computer science
Parallel programming (Computer science)
Genre/Form Festschriften
Festschriften.
Form Electronic book
Author Dams, Dennis.
Hannemann, Ulrich.
Steffen, Martin.
ISBN 9783642115127
3642115128