Infinite choice and probability distributions an open problem: The real hotel

Jan Friso Groote

doi:10.4204/EPTCS.339.2

Infinite choice and probability distributions an open problem: The real hotel

Jan Friso Groote (Corresponding author)

Research output: Contribution to journal › Conference article › peer-review

63 Downloads (Pure)

Abstract

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.

Original language	English
Pages (from-to)	2-8
Number of pages	7
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	339
DOIs	https://doi.org/10.4204/EPTCS.339.2
Publication status	Published - 23 Aug 2021
Event	Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021 - Virtual, Paris, France Duration: 23 Aug 2021 → 23 Aug 2023

Bibliographical note

Publisher Copyright:
© Jan Friso Groote

Access to Document

10.4204/EPTCS.339.2

published versionFinal published version, 104 KB

Cite this

@article{9ab0b3ade0f54175a9743bb034c891a4,

title = "Infinite choice and probability distributions an open problem: The real hotel",

abstract = "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.",

author = "Groote, {Jan Friso}",

note = "Publisher Copyright: {\textcopyright} Jan Friso Groote; Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021 ; Conference date: 23-08-2021 Through 23-08-2023",

year = "2021",

month = aug,

day = "23",

doi = "10.4204/EPTCS.339.2",

language = "English",

volume = "339",

pages = "2--8",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

}

TY - JOUR

T1 - Infinite choice and probability distributions an open problem

T2 - Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021

AU - Groote, Jan Friso

N1 - Publisher Copyright: © Jan Friso Groote

PY - 2021/8/23

Y1 - 2021/8/23

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85113905336&partnerID=8YFLogxK

U2 - 10.4204/EPTCS.339.2

DO - 10.4204/EPTCS.339.2

M3 - Conference article

AN - SCOPUS:85113905336

SN - 2075-2180

VL - 339

SP - 2

EP - 8

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

Y2 - 23 August 2021 through 23 August 2023

ER -

Infinite choice and probability distributions an open problem: The real hotel

Abstract

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this