|
|||
|
|||
|
|
||
Title:Decidability of Bisimulation Equivalence for Pushdown Processes | |||
Authors: Colin Stirling | |||
Date:Jan 2000 | |||
|
Please mail <reports@inf.ed.ac.uk> with any
changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh |
![]() |