Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences

Sibylle B. Fröschle, Slawomir Lasota. Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences. Electronic Notes in Theoretical Computer Science, 239:17-42, 2009. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: