1056 search results - page 4 / 212 » A Probabilistic Applied Pi-Calculus |
FSTTCS
2007
Springer
15 years 7 months ago
2007
Springer
240
click to vote
POPL
2001
ACM
16 years 1 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
15 years 2 months ago
2008
IEEE
CMSB
2008
Springer
15 years 3 months ago
2008
Springer
112
click to vote
FOSAD
2000
Springer
15 years 4 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...