49 citations · 223 across the 35 of their papers we have counts for
1 paper · 2 filters
Taolue Chen, Wan Fokkink, Rob van Glabbeek
A general method is established to derive a ground-complete axiomatization for a weak semantics from such an axiomatization for its concrete counterpart, in the context of the proc…