Informatics Report Series

Report   

EDI-INF-RR-0005

Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Title:Decidability of Bisimulation Equivalence for Pushdown Processes
Authors: Colin Stirling
Date:Jan 2000
Abstract:
We show that bisimulation equivalence is decidable for pushdown automata without epsilon-transitions.
Links To Paper
No links available
Bibtex format
@Misc{EDI-INF-RR-0005,
author = { Colin Stirling },
title = {Decidability of Bisimulation Equivalence for Pushdown Processes},
year = 2000,
month = {Jan},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh