Infinite Choice and Probability Distributions. An Open Problem: The Real Hotel

Jan Friso Groote
(Eindhoven University of Technology, The Netherlands)

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.

Invited Presentation in Ornela Dardha and Valentina Castiglioni: Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics (EXPRESS/SOS 2021), Paris, France (online event), 23rd August 2021, Electronic Proceedings in Theoretical Computer Science 339, pp. 2–8.
Published: 23rd August 2021.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: