1056 search results - page 4 / 212 » A Probabilistic Applied Pi-Calculus |
FSTTCS
2007
Springer
14 years 13 days ago
2007
Springer
POPL
2001
ACM
14 years 6 months ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
GRC
2008
IEEE
13 years 7 months ago
2008
IEEE
CMSB
2008
Springer
13 years 8 months ago
2008
Springer
FOSAD
2000
Springer
13 years 10 months ago
2000
Springer
Abstract. There is great interest in applying nominal calculi--computational formalisms that include dynamic name generation--to the problems of programming, specifying, and verify...