111 citations · 374 across the 31 of their papers we have counts for
1 paper · 1 filter
Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale
Reactive systems (RSs) represent a meta-framework aimed at deriving behavioral congruences for those computational formalisms whose operational semantics is provided by reduction r…