3 search results - page 1 / 1 » Safe Composition of Distributed Programs Communicating over ... |
IWDC
2005
Springer
14 years 3 months ago
2005
Springer
TCOM
2010
13 years 4 months ago
2010
Consider independent and identically distributed exponential random variables (r.vs) 1, 2, . . . , and positive scalars 1, 2, . . . , . In this letter, we present the probability...
CSFW
2007
IEEE
14 years 4 months ago
2007
IEEE
mplementations for Typed Session Abstractions Ricardo Corin1,2,3 Pierre-Malo Deni´elou1,2 C´edric Fournet1,2 Karthikeyan Bhargavan1,2 James Leifer1 1 MSR-INRIA Joint Centre 2 Mic...