Reactive Systems, Barbed Semantics, and the Mobile Ambients

by Filippo Bonchi , Fabio Gadducci , Giacoma Valentina Monreale
Citations:15 - 6 self