LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
We consider several questions related to the use of digitization techniques for timed automata. These very successful techniques reduce dense-time language inclusion problems to d...
LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
We present a constructive procedure for extracting polynomial-time realizers from ineffective proofs of Π0 2theorems in feasible analysis. By ineffective proof we mean a proof wh...
LICS
2003
IEEE
14 years 4 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...
LICS
2003
IEEE
14 years 4 months ago
2003
IEEE
We show that the decomposition of Intuitionistic Logic into Linear Logic along the equation ´ may be adapted into a decomposition of classical logic into LLP, the polarized versi...
LICS
2003
IEEE
14 years 4 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...