57 citations · 234 across the 31 of their papers we have counts for
1 paper · 2 filters
Luca Aceto, Anna Ingólfsdóttir
A general framework for the connection between characteristic formulae and behavioral semantics is described in [2]. This approach does not suitably cover semantics defined by nest…