branching vector addition systems, computational complexity, infinite-state systems, modal logic, multiplicative substructural logic, reachability.
