Dennis Dams, Ulrich Hannemann, Martin Steffen (Eds.):
Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever.
Lecture Notes in Computer Science 5930 Springer 2010, ISBN 978-3-642-11511-0 
Concurrency,
Compositionality,
and Correctness
- Dennis Dams, Ulrich Hannemann, Martin Steffen:
A Bibliography of Willem-Paul de Roever.
1-9
- Peter van Emde Boas:
Playing Savitch and Cooking Games.
10-21
- Dines Bjørner, Asger Eir:
Compositionality: Ontology and Mereology of Domains.
22-59
- Leslie Lamport:
Computer Science and State Machines.
60-65
- Cornelis Huizing, Ron Koymans, Ruurd Kuiper:
A Small Step for Mankind.
66-73
- Hans Langmaack:
On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.
74-95
- Ernst-Rüdiger Olderog, Andreas Podelski:
Explicit Fair Scheduling for Dynamic Control.
96-117
- Manfred Broy:
Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.
118-126
- Frank S. de Boer:
Reasoning about Recursive Processes in Shared-Variable Concurrency.
127-141
- Jozef Hooman, Marcel Verhoef:
Formal Semantics of a VDM Extension for Distributed Embedded Systems.
142-161
- Shivali Agarwal, R. K. Shyamasundar:
A Proof System for a PGAS Language.
162-184
- Dave Clarke, Einar Broch Johnsen, Olaf Owe:
Concurrent Objects à la Carte.
185-206
- David Harel, Amir Kantor, Shahar Maoz:
On the Power of Play-Out for Scenario-Based Programs.
207-220
- Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
Proving the Refuted: Symbolic Model Checkers as Proof Generators.
221-236
- E. Allen Emerson:
Meanings of Model Checking.
237-249
- Kai Engelhardt, Ralf Huuck:
Smaller Abstractions for FOR ALL CTL* without Next.
250-259
- Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan Sutherland:
Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.
260-276
- Jan Peleska:
Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.
277-299
- Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech:
Automated Proofs for Asymmetric Encryption.
300-321
- Ansgar Fehnker, Ralf Huuck, Sean Seefried:
Counterexample Guided Path Reduction for Static Program Analysis.
322-341
Last update Tue May 22 23:23:10 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
