Decomposition and Complexity of Hereditary History Preserving Bisimulation on BPP.

Sibylle Frschle, Slawomir Lasota

Browse the full CONCUR paper archive.