479 search results - page 63 / 96 » The theory and calculus of aliasing |
249
click to vote
ESOP
2009
Springer
16 years 27 days ago
2009
Springer
We generalise a theory of multiparty session types for the π-calculus through asynchronous communication subtyping, which allows partial commutativity of actions with maximal fle...
145
click to vote
FCT
2007
Springer
16 years 8 days ago
2007
Springer
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
164
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
We provide an effective procedure for deciding the existence of off-line guessing attacks on security protocols, for a bounded number of sessions. The procedure consists of a co...
176
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...
165
click to vote
ISLPED
2004
ACM
15 years 11 months ago
2004
ACM
The principle of adiabatic switching in conventional energyrecovery adiabatic circuit is generally explained in literature with the help of the rudimentary RC circuit driven by a ...