Volume 207; Issue 6

Information and Computation

Volume 207; Issue 6
1

Recasting MLF

Didier Le Botlan, Didier Rémy
Journal:
Information and Computation
Year:
2009
Language:
english
File:
PDF, 1.09 MB
english, 2009
2

Quantifying information leakage in process calculi

Michele Boreale
Journal:
Information and Computation
Year:
2009
Language:
english
File:
PDF, 397 KB
english, 2009
4

Partitioned PLTL model-checking for refined transition systems

J. Julliand, P.-A. Masson, E. Oudot
Journal:
Information and Computation
Year:
2009
Language:
english
File:
PDF, 428 KB
english, 2009
5

Inside Front Cover: Editorial Board

Journal:
Information and Computation
Year:
2009
Language:
english
File:
PDF, 32 KB
english, 2009
6

Editorial Board (continued)

Journal:
Information and Computation
Year:
2009
File:
PDF, 31 KB
2009