Paper: Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME (at LICS 2015)
Authors: Wojciech Czerwinski Petr Jančar
Abstract
No Abstract Available
BibTeX
@InProceedings{Janar-BranchingBisimilari, author = {Wojciech Czerwinski and Petr Jančar}, title = {Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME}, booktitle = {Proceedings of the Thirtieth Annual IEEE Symposium on Logic in Computer Science (LICS 2015)}, year = {2015}, month = {July}, pages = {168--179}, location = {Kyoto, Japan}, publisher = {IEEE Computer Society Press} }