1 option
Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever / edited by Dennis Dams, Ulrich Hannemann, Martin Steffen.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 5930.
- Theoretical Computer Science and General Issues ; 5930
- Language:
- English
- Subjects (All):
- Software engineering.
- Programming languages (Electronic computers).
- User interfaces (Computer systems).
- Computer logic.
- Computers.
- Logic, Symbolic and mathematical.
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- User Interfaces and Human Computer Interaction.
- Logics and Meanings of Programs.
- Computation by Abstract Devices.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Programming Languages, Compilers, Interpreters.
- User Interfaces and Human Computer Interaction.
- Logics and Meanings of Programs.
- Computation by Abstract Devices.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (377 pages) : 94 illustrations.
- Edition:
- First edition 2010.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
- System Details:
- text file PDF
- Summary:
- 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.
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-642-11512-7
- 9783642115127
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.