Geodesic

Volume 15 (2008) no. 3

Sommaire

Application of weaker simulations to parameterized model checking by network invariants
p. 3-13
The boundedness problem for lossy counter machines
p. 14-27
Inequalities for the norms of interpolating projections
p. 28-37
On the one class of high-level finite automata
p. 38-46
Automata-based approach for correct Java Card-program
p. 47-55