Representing Dependencies in Event Structures
Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event cont...
Gespeichert in:
Veröffentlicht in: | arXiv.org 2020-05 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | |
---|---|
container_issue | |
container_start_page | |
container_title | arXiv.org |
container_volume | |
creator | Pinna, G Michele |
description | Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major role, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important role. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of event structure, preserving the main notion, namely the one of configuration. |
doi_str_mv | 10.48550/arxiv.1910.02521 |
format | Article |
fullrecord | <record><control><sourceid>proquest_arxiv</sourceid><recordid>TN_cdi_arxiv_primary_1910_02521</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>2302235535</sourcerecordid><originalsourceid>FETCH-LOGICAL-a951-155c5a860a5429cc6760639dbcfb50568ebac810a315e9e06e3cc16bbbb2ff6c3</originalsourceid><addsrcrecordid>eNotj01LAzEQhoMgWGp_gCcXPKdOJjvp5ii1fkBB0N6XbDorWzRdk92i_97YOpeBmYeX9xHiSsG8rIjg1sXv7jBXNh8ACdWZmKDWSlYl4oWYpbQDADQLJNITIV-5j5w4DF14L-6557Dl4DtORReK1SE_irchjn4YM3Ypzlv3kXj2v6di87DaLJ_k-uXxeXm3ls6SkorIk6sMOCrRem8WBoy228a3DQGZihvnKwVOK2LLYFh7r0yTB9vWeD0V16fYo0vdx-7TxZ_6z6k-OmXi5kT0cf81chrq3X6MIXeqUQOiznKkfwEB7E5T</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>2302235535</pqid></control><display><type>article</type><title>Representing Dependencies in Event Structures</title><source>arXiv.org</source><source>Free E- Journals</source><creator>Pinna, G Michele</creator><creatorcontrib>Pinna, G Michele</creatorcontrib><description>Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major role, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important role. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of event structure, preserving the main notion, namely the one of configuration.</description><identifier>EISSN: 2331-8422</identifier><identifier>DOI: 10.48550/arxiv.1910.02521</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Computer Science - Logic in Computer Science ; Configurations</subject><ispartof>arXiv.org, 2020-05</ispartof><rights>2020. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><rights>http://creativecommons.org/licenses/by/4.0</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>228,230,776,780,881,27904</link.rule.ids><backlink>$$Uhttps://doi.org/10.48550/arXiv.1910.02521$$DView paper in arXiv$$Hfree_for_read</backlink><backlink>$$Uhttps://doi.org/10.23638/LMCS-16(2:3)2020$$DView published paper (Access to full text may be restricted)$$Hfree_for_read</backlink></links><search><creatorcontrib>Pinna, G Michele</creatorcontrib><title>Representing Dependencies in Event Structures</title><title>arXiv.org</title><description>Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major role, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important role. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of event structure, preserving the main notion, namely the one of configuration.</description><subject>Computer Science - Logic in Computer Science</subject><subject>Configurations</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2020</creationdate><recordtype>article</recordtype><sourceid>ABUWG</sourceid><sourceid>AFKRA</sourceid><sourceid>AZQEC</sourceid><sourceid>BENPR</sourceid><sourceid>CCPQU</sourceid><sourceid>DWQXO</sourceid><sourceid>GOX</sourceid><recordid>eNotj01LAzEQhoMgWGp_gCcXPKdOJjvp5ii1fkBB0N6XbDorWzRdk92i_97YOpeBmYeX9xHiSsG8rIjg1sXv7jBXNh8ACdWZmKDWSlYl4oWYpbQDADQLJNITIV-5j5w4DF14L-6557Dl4DtORReK1SE_irchjn4YM3Ypzlv3kXj2v6di87DaLJ_k-uXxeXm3ls6SkorIk6sMOCrRem8WBoy228a3DQGZihvnKwVOK2LLYFh7r0yTB9vWeD0V16fYo0vdx-7TxZ_6z6k-OmXi5kT0cf81chrq3X6MIXeqUQOiznKkfwEB7E5T</recordid><startdate>20200512</startdate><enddate>20200512</enddate><creator>Pinna, G Michele</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope><scope>AKY</scope><scope>GOX</scope></search><sort><creationdate>20200512</creationdate><title>Representing Dependencies in Event Structures</title><author>Pinna, G Michele</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a951-155c5a860a5429cc6760639dbcfb50568ebac810a315e9e06e3cc16bbbb2ff6c3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Computer Science - Logic in Computer Science</topic><topic>Configurations</topic><toplevel>online_resources</toplevel><creatorcontrib>Pinna, G Michele</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection (ProQuest)</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection><collection>arXiv Computer Science</collection><collection>arXiv.org</collection><jtitle>arXiv.org</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Pinna, G Michele</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Representing Dependencies in Event Structures</atitle><jtitle>arXiv.org</jtitle><date>2020-05-12</date><risdate>2020</risdate><eissn>2331-8422</eissn><abstract>Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major role, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important role. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of event structure, preserving the main notion, namely the one of configuration.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><doi>10.48550/arxiv.1910.02521</doi><oa>free_for_read</oa></addata></record> |
fulltext | fulltext |
identifier | EISSN: 2331-8422 |
ispartof | arXiv.org, 2020-05 |
issn | 2331-8422 |
language | eng |
recordid | cdi_arxiv_primary_1910_02521 |
source | arXiv.org; Free E- Journals |
subjects | Computer Science - Logic in Computer Science Configurations |
title | Representing Dependencies in Event Structures |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-24T15%3A06%3A38IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_arxiv&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Representing%20Dependencies%20in%20Event%20Structures&rft.jtitle=arXiv.org&rft.au=Pinna,%20G%20Michele&rft.date=2020-05-12&rft.eissn=2331-8422&rft_id=info:doi/10.48550/arxiv.1910.02521&rft_dat=%3Cproquest_arxiv%3E2302235535%3C/proquest_arxiv%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=2302235535&rft_id=info:pmid/&rfr_iscdi=true |