8743 articles  [version française]
.:. Browse > By authors > Amadio .:.
16 documents ordered by :
1 - 2 Next Last
fulltext access On name generation and set-based analysis in Dolev-Yao model
Amadio R. M., Charatonik W.
N° RR-4379 (2002) [inria-00072209 - version 1]
fulltext access On the Decidability of Fragments of the Asynchronous Pi-Calculus
Amadio R. M., Meyssonnier C.
N° RR-4241 (2001) [inria-00072346 - version 1]
fulltext access On the Symbolic Reduction of Processes with Cryptographic Functions
Amadio R. M., Lugiez D., Vanackère V.
N° RR-4147 (2001) [inria-00072478 - version 1]
fulltext access The Receptive Distributed $\pi$-Calculus
Amadio R. M., Boudol G., Lhoussaine C.
N° RR-4080 (2000) [inria-00072553 - version 1]
fulltext access On the Reachability Problem in Cryptographic Protocols
Amadio R. M., Lugiez D.
N° RR-3915 (2000) [inria-00072738 - version 1]
fulltext access The Game of the Name in Cryptographic Tables
Amadio R. M., Prasad S.
N° RR-3733 (1999) [inria-00072932 - version 1]
fulltext access Analysis of a Guard Condition in Type Theory (Preliminary Report)
Amadio R. M., Coupet-Grimal S.
N° RR-3300 (1997) [inria-00073388 - version 1]
fulltext access Modelling IP Mobility
Amadio R. M., Prasad S.
N° RR-3301 (1997) [inria-00073387 - version 1]
fulltext access An Asynchronous Model of Locality, Failure, and Process Mobility
Amadio R. M.
N° RR-3109 (1997) [inria-00073581 - version 1]
fulltext access On Bisimulations for the Asynchronous pi-calculus
Amadio R. M., Castellani I., Sangiorgi D.
N° RR-2913 (1996) [inria-00073784 - version 1]