Strong Bisimilarity on Basic Parallel Processes is PSPACE-complete.

Published in: LICS (2003)

Keyphrases

pspace complete
np complete
model checking
satisfiability problem
decision problems
strips planning
computational complexity
exptime complete
decision making
database
temporal logic
causal graph