Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642115110, 9783642115127

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Reasoning about Recursive Processes in Shared-Variable Concurrency

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_9 ◽

2010 ◽

pp. 127-141

Author(s):

F. S. de Boer

Keyword(s):

Shared Variable

Download Full-text

Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_8 ◽

2010 ◽

pp. 118-126

Author(s):

Manfred Broy

Keyword(s):

Message Passing

Download Full-text

Explicit Fair Scheduling for Dynamic Control

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_7 ◽

2010 ◽

pp. 96-117 ◽

Author(s):

Ernst-Rüdiger Olderog ◽

Andreas Podelski

Keyword(s):

Dynamic Control ◽

Fair Scheduling

Download Full-text

A Proof System for a PGAS Language

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_11 ◽

2010 ◽

pp. 162-184

Author(s):

Shivali Agarwal ◽

R. K. Shyamasundar

Keyword(s):

Download Full-text

A Bibliography of Willem-Paul de Roever

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_1 ◽

2010 ◽

pp. 1-9

Author(s):

Dennis Dams ◽

Ulrich Hannemann ◽

Martin Steffen

Download Full-text

Concurrent Objects à la Carte

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_12 ◽

2010 ◽

pp. 185-206 ◽

Author(s):

Dave Clarke ◽

Einar Broch Johnsen ◽

Olaf Owe

Keyword(s):

Concurrent Objects ◽

Download Full-text

Automated Proofs for Asymmetric Encryption

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_19 ◽

2010 ◽

pp. 300-321 ◽

Author(s):

Joudicaël Courant ◽

Marion Daubignard ◽

Cristian Ene ◽

Pascal Lafourcade ◽

Yassine Lakhnech

Keyword(s):

Asymmetric Encryption

Download Full-text

Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_18 ◽

2010 ◽

pp. 277-299 ◽

Author(s):

Jan Peleska

Keyword(s):

Abstract Interpretation

Download Full-text

Meanings of Model Checking

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_15 ◽

2010 ◽

pp. 237-249

Author(s):

E. Allen Emerson

Keyword(s):

Download Full-text

On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention

Concurrency, Compositionality, and Correctness - Lecture Notes in Computer Science ◽

10.1007/978-3-642-11512-7_6 ◽

2010 ◽

pp. 74-95

Author(s):

Hans Langmaack

Keyword(s):

Intrusion Detection ◽

Intrusion Detection And Prevention

Download Full-text