20 citations · 76 across the 16 of their papers we have counts for
1 paper · 2 filters
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi
There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with a Structural Operational Semantics. Moreover, there exist a few appro…