RTA
2009
Springer
13 years 11 months ago
2009
Springer
RTA
2009
Springer
13 years 11 months ago
2009
Springer
We study the derivational complexity induced by the (basic) dependency pair method. Suppose the derivational complexity induced by a termination method is closed under elementary f...
RTA
2009
Springer
13 years 11 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...