Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.25 ◽

2015 ◽

Cited By ~ 1

Author(s):

Wojciech Czerwinski ◽

Petr Jancar

Download Full-text