DMCA

Algebraic representation of bisimulation for the tagh-format

by A. Sokolova , E. P. De Vink