2272 search results - page 152 / 455 » A Calculus for |
91
Voted
DLOG
2008
15 years 6 months ago
2008
CIE
2008
Springer
15 years 6 months ago
2008
Springer
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
148
click to vote
CONCUR
2008
Springer
15 years 6 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
165
click to vote
CSFW
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a general technique for modeling remote electronic voting protocols in the applied pi-calculus and for automatically verifying their security. In the first part of this...