Subscriber Authentication Point

EDPS Account

Volume 45 / No 1 (January-March 2011)

RAIRO - Theoretical Informatics and Applications

Volume 45 / No 1 (January-March 2011)

ICTCS 09

Export the citation of the selected articles Export
Select all

Free Access

Editorial

ICTCS 09 Foreword p. 1

The Scientific Committee

Published online: 15 March 2011

DOI: https://doi.org/10.1051/ita/2011014

PDF (35.94 KB)

Idealized coinductive type systems for imperative object-oriented programs p. 3

Davide Ancona and Giovanni Lagorio

Published online: 15 March 2011

DOI: https://doi.org/10.1051/ita/2011009

Enumerated type semantics for the calculus of looping sequences p. 35

Livio Bioglio

Published online: 15 March 2011

DOI: https://doi.org/10.1051/ita/2011010

Hopcroft's algorithm and tree-like automata p. 59

G. Castiglione, A. Restivo and M. Sciortino

Published online: 15 March 2011

DOI: https://doi.org/10.1051/ita/2011011

Consensual languages and matching finite-state computations p. 77

Stefano Crespi Reghizzi and Pierluigi San Pietro

Published online: 15 March 2011

DOI: https://doi.org/10.1051/ita/2011012

An introduction to quantum annealing p. 99

Diego de Falco and Dario Tamascelli

Published online: 15 March 2011

DOI: https://doi.org/10.1051/ita/2011013

The compositional construction of Markov processes II p. 117

L. de Francesco Albasini, N. Sabadini and R. F.C. Walters

Published online: 15 March 2011

DOI: https://doi.org/10.1051/ita/2011015

Extending the lambda-calculus with unbind and rebind p. 143

Mariangiola Dezani-Ciancaglini, Paola Giannini and Elena Zucca

Published online: 15 March 2011

DOI: https://doi.org/10.1051/ita/2011008

Strategies to scan pictures with automata based on Wang tiles p. 163

Violetta Lonati and Matteo Pradella

Published online: 15 March 2011

DOI: https://doi.org/10.1051/ita/2011016