Sciweavers

TCS
1998

Decidability of Bisimulation Equivalence for Normed Pushdown Processes

13 years 11 months ago
Decidability of Bisimulation Equivalence for Normed Pushdown Processes
We prove that bisimulation equivalence is decidable for normed pushdown processes.
Colin Stirling
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 1998
Where TCS
Authors Colin Stirling
Comments (0)