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
Tomás Babiak, Vojtech Rehák, Jan Strejcek
págs. 203-235
On projecting processes into session types
Luca Padovani
págs. 237-289
Proving the validity of equations in GSOS languages using rule-matching bisimilarity
Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir
págs. 291-331
A hierarchy of reverse bisimulations on stable configuration structures
Iain Phillips, Irek Ulidowski
págs. 333-372
© 2008-2024 Fundación Dialnet · Todos los derechos reservados