Decidability of bisimulation equivalence for normed pushdown processes

Colin Stirling. Decidability of bisimulation equivalence for normed pushdown processes. SIGACT News, 30(3):19-21, 1999. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: