Bisimulation proof methods in a path-based specification language for polynomial coalgebras.

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

Keyphrases