11345 search results - page 2026 / 2269 » Foundations of Computer Science |
131
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
We present decidability results for the verification of cryptographic protocols in the presence of equational theories corresponding to xor and Abelian groups. Since the perfect ...
123
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
125
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
205
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
113
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Given a regular collection of Mazurkiewicz traces, which can be seen as the behaviours of a finite-state concurrent system, one can associate with it a canonical regular event st...