Preface to special issue: EXPRESS, ICE and SOS 2009
Filippo Bonchi, Sibylle Fröschle, Daniele Gorla, Bartek Klin
págs. 123-124
Characteristic formulae for fixed-point semantics: a general framework
Luca Aceto, Anna Ingólfsdóttir, Paul Blain Levy, Joshua Sack
págs. 125-173
págs. 175-201
págs. 203-235
págs. 237-289
págs. 291-331
págs. 333-372
© 2001-2024 Fundación Dialnet · Todos los derechos reservados