16616 search results - page 289 / 3324 » Extending Extended Vacuity |
173
click to vote
WOTUG
2008
15 years 8 months ago
2008
In this paper we introduce the core features of CSO (Communicating Scala Objects)
177
click to vote
ENTCS
2010
15 years 7 months ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...
161
click to vote
JALC
2006
15 years 7 months ago
2006
In this paper we present an extension of Dolev-Yao models for security protocols with a notion of random polynomial-time (Las Vegas) computability. First we notice that Dolev-Yao ...