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

A Bibliography of Willem-Paul de Roever

2010 ◽  
pp. 1-9
Author(s):  
Dennis Dams ◽  
Ulrich Hannemann ◽  
Martin Steffen

scholarly journals Automated Proofs for Asymmetric Encryption

2010 ◽  
pp. 300-321 ◽  
Author(s):  
Joudicaël Courant ◽  
Marion Daubignard ◽  
Cristian Ene ◽  
Pascal Lafourcade ◽  
Yassine Lakhnech
Keyword(s):  
Asymmetric Encryption

scholarly journals Concurrent Objects à la Carte

2010 ◽  
pp. 185-206 ◽  
Author(s):  
Dave Clarke ◽  
Einar Broch Johnsen ◽  
Olaf Owe
Keyword(s):  
Concurrent Objects ◽  
A La Carte
Load More ...
Sign in / Sign up

Export Citation Format

Share Document