LICS
2003
IEEE
14 years 21 days ago
2003
IEEE
LICS
2003
IEEE
14 years 21 days 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 21 days ago
2003
IEEE
LICS
2003
IEEE
14 years 21 days ago
2003
IEEE
LICS
2003
IEEE
14 years 21 days ago
2003
IEEE
LICS
2003
IEEE
14 years 21 days 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 21 days 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 21 days 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 21 days 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 21 days 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...