References & Citations
Computer Science > Logic in Computer Science
Title: Branching Bisimilarity on Normed BPA Is EXPTIME-complete
(Submitted on 20 Jan 2015 (v1), last revised 17 Mar 2015 (this version, v2))
Abstract: We put forward an exponential-time algorithm for deciding branching bisimilarity on normed BPA (Bacis Process Algebra) systems. The decidability of branching (or weak) bisimilarity on normed BPA was once a long standing open problem which was closed by Yuxi Fu. The EXPTIME-hardness is an inference of a slight modification of the reduction presented by Richard Mayr. Our result claims that this problem is EXPTIME-complete.
Submission history
From: Chaodong He [view email][v1] Tue, 20 Jan 2015 10:03:36 GMT (100kb)
[v2] Tue, 17 Mar 2015 11:00:49 GMT (43kb)
Link back to: arXiv, form interface, contact.