Sciweavers

36 search results - page 8 / 8
» Exponential Time Complexity of Weighted Counting of Independ...
Sort
View
CONCUR
2009
Springer
14 years 21 days ago
Partially-Commutative Context-Free Processes
Bisimulation equivalence is decidable in polynomial time for both sequential and commutative normed context-free processes, known as BPA and BPP, respectively. Despite apparent sim...
Wojciech Czerwinski, Sibylle B. Fröschle, Sla...