基于逻辑的进程计算，例如$\pi$DILL和CP，提供了一个无死锁并发编程的基础，但不包括非决定论和种族。HCP是CP的重新制定，它解决了基本缺点：并行组合的基本运算符$\pi$-演算不符合任何线性逻辑规则，并且因此不适用于CP中的任何术语结构。我们引入了非确定性HCP，它通过对非决定论。我们的方法利用有界线性逻辑来提供标准过程演算表达式的强类型说明非决定论。我们表明，我们的扩展具有足够的表达能力，可以捕获非确定性在非类型化结石中的许多应用，例如非确定性选择，同时保留HCP的元理论属性，包括死锁自由。