5 problems

HHPB congruence conjecture. HHPB is equivalent to a congruence relation on terms that do not exhibit auto-conflict.

HHPB correspondence conjecture. If $R\mathrel{\sim^{\tau}}S$, then there exists a HHPB $\mathrel{\mathcal{R}}$ between $\mathcal{C}_R$ and $\mathcal{C}_S$ such that

Running-time conjecture. The parallel edge enumeration algorithm may run in

A higher-dimensional automaton (HDA) is a model for concurrency based on labeled precubical sets, while a history-dependent automaton is a formalism introduced by Montanari and Pis…

Safety equivalence conjecture. These two definitions of safety—the syntactic notion and safety under bisimulations—coincide.