DMCA

Under consideration for publication in Math. Struct. in Comp. Science Concurrency Can’t Be Observed, Asynchronously † (2012)

by Paolo Baldan , Fabio Gadducci , Giacoma Valentina Monreale