5 search results - page 1 / 1 » lopstr 2001 |
LOPSTR
2001
Springer
13 years 8 months ago
2001
Springer
LOPSTR
2001
Springer
13 years 8 months ago
2001
Springer
LOPSTR
2001
Springer
13 years 8 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
LOPSTR
2001
Springer
13 years 8 months ago
2001
Springer
Abstract. The ability of reacting to changes in the external environment is of crucial importance within the context of software agents. Such feature must however be suitably recon...
LOPSTR
2001
Springer
13 years 8 months ago
2001
Springer
Abstract. Deforestation is a well-known program transformation technique which eliminates intermediate data structures that are passed between functions. One of its weaknesses is t...