19 citations · 53 across the 15 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014★ 2 cited
Branching Bisimilarity of Normed BPA Processes is in NEXPTIME
Wojciech Czerwiński, Petr Jančar
Branching bisimilarity on normed BPA processes was recently shown to be decidable by Yuxi Fu (ICALP 2013) but his proof has not provided any upper complexity bound. We present a si…
cs.LO2013★ 7 cited
Reachability Problem for Weak Multi-Pushdown Automata
Wojciech Czerwiński, Piotr Hofman, SŁawomir Lasota
This paper is about reachability analysis in a restricted subclass of multi-pushdown automata. We assume that the control states of an automaton are partially ordered, and all tran…