Proving the validity of equations in GSOS languages using rule-matching bisimilarity.

Published in: Math. Struct. Comput. Sci. (2012)

Keyphrases