Concurrency, Compositionality, and Correctness : Essays in Honor of Willem-Paul de Roever
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...
Uloženo v:
| Další autoři: | |
|---|---|
| Korporace: | |
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Berlin ; Heidelberg :
Springer Berlin Heidelberg,
2010
|
| Edice: | Lecture Notes in Computer Science
|
| Žánr/forma: | elektronické knihy |
| ISBN: | 978-3-642-11512-7 9783642115110 |
| Témata: | |
| On-line přístup: | Plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
|
Obsah:
- 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