Trustworthy Global Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642009440, 9783642009457
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Connectivity in Multi-interface Networks

2009 ◽  
pp. 157-170 ◽  
Author(s):  
Adrian Kosowski ◽  
Alfredo Navarra ◽  
Cristina M. Pinotti

Provably Correct Implementations of Services

2009 ◽  
pp. 69-86 ◽  
Author(s):  
Roberto Bruni ◽  
Rocco De Nicola ◽  
Michele Loreti ◽  
Leonardo Gaetano Mezzina

Type Systems for Bigraphs

2009 ◽  
pp. 126-140 ◽  
Author(s):  
Ebbe Elsborg ◽  
Thomas T. Hildebrandt ◽  
Davide Sangiorgi
Keyword(s):  
Type Systems

scholarly journals Combining Timed Coordination Primitives and Probabilistic Tuple Spaces

2009 ◽  
pp. 52-68 ◽  
Author(s):  
Mario Bravetti ◽  
Diego Latella ◽  
Michele Loreti ◽  
Mieke Massink ◽  
Gianluigi Zavattaro
Keyword(s):  
Tuple Spaces

scholarly journals Model Checking Usage Policies

2009 ◽  
pp. 19-35 ◽  
Author(s):  
Massimo Bartoletti ◽  
Pierpaolo Degano ◽  
Gian Luigi Ferrari ◽  
Roberto Zunino
Keyword(s):  
Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document