1532 search results - page 205 / 307 » An Algebraic Process Calculus |
149
click to vote
CSL
1999
Springer
15 years 9 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
154
click to vote
CCS
1998
ACM
15 years 9 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
148
click to vote
ARITH
1997
IEEE
15 years 9 months ago
1997
IEEE
In this paper we present a rigorous theoretical analysis of the main properties of a double base number system, using bases 2 and 3; in particular we emphasize the sparseness of t...
139
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
144
click to vote
ESOP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...