We sketch a process algebra with data and probability distributions. This allows to combine two very powerful abstraction mechanisms namely non-deterministic choice and probabilities. However, it is not clear how to define an appropriate semantics for the generalised choice over data in combination with probability density functions. The real hotel is a puzzle that exemplifies the core of the problem.

中文翻译：

---

无限选择和概率分布。一个悬而未决的问题：真正的酒店

我们用数据和概率分布勾勒出一个过程代数。这允许结合两个非常强大的抽象机制，即非确定性选择和概率。然而，尚不清楚如何结合概率密度函数为数据的广义选择定义合适的语义。真正的酒店是一个说明问题核心的谜题。