115 search results - page 15 / 23 » The Attributed Pi Calculus |
110
click to vote
LICS
2012
IEEE
13 years 11 days ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
111
click to vote
ICFP
2012
ACM
13 years 11 days ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Discretionary Access Control (DAC) systems provide powerful mechanisms for resource management based on the selective distribution of capabilities to selected classes of ...
WOTE
2010
14 years 7 months ago
2010
Abstract. While electronic elections promise the possibility of convenient, efficient and secure facilities for recording and tallying votes, recent studies have highlighted inadeq...
JQL
2007
14 years 10 months ago
2007
How can it be said that texts are "near" or "distant" from one another? Are different texts by a single author more similar than texts by different authors? To...