Concurrency, Compositionality, and Correctness

Keyphrases

Publications

2010

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

volume 5930, 2010

Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever Concurrency, Compositionality, and Correctness 5930 (2010)