Trustworthy Global Computing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540300076, 9783540314837
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

web π at Work

2005 ◽  
pp. 182-194 ◽  
Author(s):  
Cosimo Laneve ◽  
Gianluigi Zavattaro

Harmony: The Art of Reconciliation

2005 ◽  
pp. 1-1 ◽  
Author(s):  
Benjamin C. Pierce

Namespace Logic: A Logic for a Reflective Higher-Order Calculus

2005 ◽  
pp. 353-369
Author(s):  
L. G. Meredith ◽  
Matthias Radestock
Keyword(s):  
Higher Order

Erratum

2005 ◽  
pp. E1-E1
Author(s):  

Concurrency Among Strangers

2005 ◽  
pp. 195-229 ◽  
Author(s):  
Mark S. Miller ◽  
E. Dean Tribble ◽  
Jonathan Shapiro

scholarly journals Programming Cryptographic Protocols

2005 ◽  
pp. 116-145 ◽  
Author(s):  
Joshua D. Guttman ◽  
Jonathan C. Herzog ◽  
John D. Ramsdell ◽  
Brian T. Sniffen
Keyword(s):  
Cryptographic Protocols

scholarly journals A Distributed Object-Oriented Language with Session Types

2005 ◽  
pp. 299-318 ◽  
Author(s):  
Mariangiola Dezani-Ciancaglini ◽  
Nobuko Yoshida ◽  
Alexander Ahern ◽  
Sophia Drossopoulou
Keyword(s):  
Object Oriented ◽  
Distributed Object ◽  
Session Types

scholarly journals A Practical Formal Model for Safety Analysis in Capability-Based Systems

2005 ◽  
pp. 248-278 ◽  
Author(s):  
Fred Spiessens ◽  
Peter Van Roy
Keyword(s):  
Formal Model ◽  
Safety Analysis

scholarly journals A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange

2005 ◽  
pp. 146-162 ◽  
Author(s):  
Konstantinos Chatzikokolakis ◽  
Catuscia Palamidessi
Keyword(s):  
Probabilistic Protocols

scholarly journals A Formal Semantics for Protocol Narrations

2005 ◽  
pp. 163-181 ◽  
Author(s):  
Sébastien Briais ◽  
Uwe Nestmann
Keyword(s):  
Formal Semantics
Load More ...
Sign in / Sign up

Export Citation Format

Share Document