Lecture Notes in Computer Science - Coordination Models and Languages
Latest Publications

TOTAL DOCUMENTS

14
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642214639, 9783642214646
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Safe Parallel Programming with Session Java

2011 ◽  
pp. 110-126 ◽  
Author(s):  
Nicholas Ng ◽  
Nobuko Yoshida ◽  
Olivier Pernet ◽  
Raymond Hu ◽  
Yiannos Kryftis
Keyword(s):  
Parallel Programming

scholarly journals Fault in the Future

2011 ◽  
pp. 1-15 ◽  
Author(s):  
Einar Broch Johnsen ◽  
Ivan Lanese ◽  
Gianluigi Zavattaro
Keyword(s):  
The Future

scholarly journals An Efficient Management of Correlation Sets with Broadcast

2011 ◽  
pp. 80-94 ◽  
Author(s):  
Jacopo Mauro ◽  
Maurizio Gabbrielli ◽  
Claudio Guidi ◽  
Fabrizio Montesi
Keyword(s):  
Efficient Management

scholarly journals Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces

2011 ◽  
pp. 202-218 ◽  
Author(s):  
Fan Yang ◽  
Tomoyuki Aotani ◽  
Hidehiko Masuhara ◽  
Flemming Nielson ◽  
Hanne Riis Nielson
Keyword(s):  
Static Analysis ◽  
Tuple Spaces
Load More ...
Sign in / Sign up

Export Citation Format

Share Document