12 citations · 88 across the 34 of their papers we have counts for
1 paper · 2 filters
Wan Fokkink, Rob van Glabbeek, Bas Luttik
In two earlier papers we derived congruence formats with regard to transition system specifications for weak semantics on the basis of a decomposition method for modal formulas. Th…