The Directed Probabilistic Powerspace
Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this paper, we extend the notion of powerdomain to directed spaces, which is equivalent to the notion of the T0 monotone-det...
Saved in:
Published in | arXiv.org |
---|---|
Main Authors | , , |
Format | Paper |
Language | English |
Published |
Ithaca
Cornell University Library, arXiv.org
11.03.2022
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this paper, we extend the notion of powerdomain to directed spaces, which is equivalent to the notion of the T0 monotone-determined space [4]. We construct the probabilistic powerspace of the directed space, which is defined as a free directed space-cone. In addition, the relationships between our construction and classical probabilistic powerdomain are studied. |
---|---|
AbstractList | Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with probabilistic choice. In this paper, we extend the notion of powerdomain to directed spaces, which is equivalent to the notion of the T0 monotone-determined space [4]. We construct the probabilistic powerspace of the directed space, which is defined as a free directed space-cone. In addition, the relationships between our construction and classical probabilistic powerdomain are studied. |
Author | Xie, Xiaolin Kou, Hui Lyu, Zhenchao |
Author_xml | – sequence: 1 givenname: Xiaolin surname: Xie fullname: Xie, Xiaolin – sequence: 2 givenname: Hui surname: Kou fullname: Kou, Hui – sequence: 3 givenname: Zhenchao surname: Lyu fullname: Lyu, Zhenchao |
BookMark | eNrjYmDJy89LZWLgNDI2NtS1MDEy4mDgLS7OMjAwMDIzNzI1NeZkUA3JSFVwySxKTS5JTVEIKMpPSkzKzMksLslMVgjIL08tKi5ITE7lYWBNS8wpTuWF0twMym6uIc4eugVF-YWlqcUl8Vn5pUV5QKl4IzNjcwsjoAUGxsSpAgAYXjC1 |
ContentType | Paper |
Copyright | 2022. This work is published under http://creativecommons.org/licenses/by-nc-nd/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
Copyright_xml | – notice: 2022. This work is published under http://creativecommons.org/licenses/by-nc-nd/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License. |
DBID | 8FE 8FG ABJCF ABUWG AFKRA AZQEC BENPR BGLVJ CCPQU DWQXO HCIFZ L6V M7S PIMPY PQEST PQQKQ PQUKI PRINS PTHSS |
DatabaseName | ProQuest SciTech Collection ProQuest Technology Collection Materials Science & Engineering Collection ProQuest Central (Alumni) ProQuest Central ProQuest Central Essentials ProQuest Central Technology Collection ProQuest One Community College ProQuest Central SciTech Premium Collection ProQuest Engineering Collection Engineering Database Publicly Available Content Database ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China Engineering Collection |
DatabaseTitle | Publicly Available Content Database Engineering Database Technology Collection ProQuest Central Essentials ProQuest One Academic Eastern Edition ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College ProQuest Technology Collection ProQuest SciTech Collection ProQuest Central China ProQuest Central ProQuest Engineering Collection ProQuest One Academic UKI Edition ProQuest Central Korea Materials Science & Engineering Collection ProQuest One Academic Engineering Collection |
DatabaseTitleList | Publicly Available Content Database |
Database_xml | – sequence: 1 dbid: 8FG name: ProQuest Technology Collection url: https://search.proquest.com/technologycollection1 sourceTypes: Aggregation Database |
DeliveryMethod | fulltext_linktorsrc |
Discipline | Physics |
EISSN | 2331-8422 |
Genre | Working Paper/Pre-Print |
GroupedDBID | 8FE 8FG ABJCF ABUWG AFKRA ALMA_UNASSIGNED_HOLDINGS AZQEC BENPR BGLVJ CCPQU DWQXO FRJ HCIFZ L6V M7S M~E PIMPY PQEST PQQKQ PQUKI PRINS PTHSS |
ID | FETCH-proquest_journals_26378202603 |
IEDL.DBID | BENPR |
IngestDate | Thu Oct 10 15:48:13 EDT 2024 |
IsOpenAccess | true |
IsPeerReviewed | false |
IsScholarly | false |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-proquest_journals_26378202603 |
OpenAccessLink | https://www.proquest.com/docview/2637820260?pq-origsite=%requestingapplication% |
PQID | 2637820260 |
PQPubID | 2050157 |
ParticipantIDs | proquest_journals_2637820260 |
PublicationCentury | 2000 |
PublicationDate | 20220311 |
PublicationDateYYYYMMDD | 2022-03-11 |
PublicationDate_xml | – month: 03 year: 2022 text: 20220311 day: 11 |
PublicationDecade | 2020 |
PublicationPlace | Ithaca |
PublicationPlace_xml | – name: Ithaca |
PublicationTitle | arXiv.org |
PublicationYear | 2022 |
Publisher | Cornell University Library, arXiv.org |
Publisher_xml | – name: Cornell University Library, arXiv.org |
SSID | ssj0002672553 |
Score | 3.3929057 |
SecondaryResourceType | preprint |
Snippet | Probabilistic powerdomain in domain theory plays an important role in modeling the semantics of nondeterministic functional programming languages with... |
SourceID | proquest |
SourceType | Aggregation Database |
SubjectTerms | Functional programming Programming languages Semantics |
Title | The Directed Probabilistic Powerspace |
URI | https://www.proquest.com/docview/2637820260 |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwY2BQMTC2TEkxSwWtw0lL0jUxtUjTTUw2MNW1NElLMU8yMjFPSgFtcPb1M_MINfGKMI2ADrgVQ5dVwspEcEGdkp8MGiPXNzIzBh3tBmx-2xcU6oJujQLNrkKv0GBmYDUyNAFN07I6ufoFBMFHWYzMzIFtZmOMghZce7gJMrAGJBakFgkxMKXmCTOwgxddJheLMKgC40gBUuakpigEFAGzFmipKujkZIUA8O1lwA5tqiiDsptriLOHLszseGj8F8cjXGssxsAC7MinSjAoGJpZpgCrfxPDNGC7JTUxKdHSMtEsCVjDWwKrkhTzZEkGGXwmSeGXlmbgMgItzQetNTOUYWApKSpNlQVWmCVJcgzMFm7uctCwAfJ861wBpoF0vg |
link.rule.ids | 786,790,12792,21416,33406,33777,43633,43838 |
linkProvider | ProQuest |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV07T8MwED5BKwQbT_EoEAkYLZrYceqJoWoI0FYZitQtsmNnhDYp_587k9KhUmdLJ8uP77s7f74DeOxzZa10pMOpDBPxoGK67MdMicomJhKJsfTBeTKV2ad4n8fzNuHWtLLKNSZ6oLbfJeXInyPJqbQbut8viyWjrlH0utq20NiHruCS0zkfpK__OZZIJugx8y2Y9dyRHkM31wtXn8Ce-zqFAy-5LJszeMIdCv4Qx9kgr_FikVCV6iYHue9dhuGsO4eHdDQbZmxtu2h3vyk2c-UX0MEw3l1CEEplkfxFWKHX4rTRSmlpkN8VEolNyivo7bJ0vXv4Hg6z2WRcjN-mHzdwFJFIn1RnYQ86q_rH3SJ1rsydX59fwqd0Lg |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+Directed+Probabilistic+Powerspace&rft.jtitle=arXiv.org&rft.au=Xie%2C+Xiaolin&rft.au=Kou%2C+Hui&rft.au=Lyu%2C+Zhenchao&rft.date=2022-03-11&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422 |