Branching Bisimilarity of Normed BPA Processes Is in NEXPTIME.

Wojciech Czerwinski Petr Jancar

Published in: LICS (2015)

Keyphrases

vector space
real time
upper bound
artificial intelligence
decision making
data structure
computational models
satisfiability problem
stochastic processes