| Concurrency, Compositionality, and Correctness |
| A Bibliography of Willem-Paul de Roever |
| Playing Savitch and Cooking Games / Peter van Emde Boas |
| Compositionality: Ontology and Mereology of Domains / Dines Bjørner ; Asger Eir |
| Computer Science and State Machines / Leslie Lamport |
| A Small Step for Mankind / Cornelis Huizing ; Ron Koymans ; Ruurd Kuiper |
| On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention / Hans Langmaack |
| Explicit Fair Scheduling for Dynamic Control / Ernst-Rüidiger Olderog ; Andreas Podelski |
| Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence / Manfred Broy |
| Reasoning about Recursive Processes in Shared-Variable Concurrency / Frank S. de Boer |
| Formal Semantics of a VDM Extension for Distributed Embedded Systems / Jozef Hooman ; Marcel Verhoef |
| A Proof System for a PGAS Language / Shivali Agarwal ; R.K. Shyamasundar |
| Concurrent Objects à la Carte / Dave Clarke ; Einar Broch Johnsen ; Olaf Owe |
| On the Power of Play-Out for Scenario-Based Programs / David Harel ; Amir Kantor ; Shahar Maoz |
| Proving the Refuted: Symbolic Model Checkers as Proof Generators / Ittai Balaban ; Amir Pnueli ; Lenore-D. Zuck |
| Meanings of Model Checking / E. Allen Emerson |
| Smaller Abstractions for ∀CTL* without Next / Kai Engelhardt ; Ralf Huuck |
| Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment / Prasad Joshi ; Peter A. Beerel ; Marly Roncken ; Ivan Sutherland |
| Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules / Jan Peleska |
| Automated Proofs for Asymmetric Encryption / Joudicaël Courant ; Marion Daubignard ; Cristian Ene ; Pascal Lafourcade ; Yassine Lakhnech |
| Counterexample Guided Path Reduction for Static Program Analysis / Ansgar Fehnker ; Sean Seefried |
| Gallery |
| Author Index |
| Concurrency, Compositionality, and Correctness |
| A Bibliography of Willem-Paul de Roever |
| Playing Savitch and Cooking Games / Peter van Emde Boas |
ＥＢ
