16616 search results - page 289 / 3324 » Extending Extended Vacuity |
160
click to vote
WOTUG
2008
15 years 8 months ago
2008
In this paper we introduce the core features of CSO (Communicating Scala Objects)
160
click to vote
ENTCS
2010
15 years 6 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...
100
Voted
EOR
2006
15 years 6 months ago
2006
ct 10 In this paper we extend the work of [Fa
156
Voted
IANDC
2006
15 years 6 months ago
2006
Fixpoint Logic with Chop extends the modal
147
Voted
JALC
2006
15 years 6 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 ...