Matches in SemOpenAlex for { <https://semopenalex.org/work/W137181627> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W137181627 abstract "In prime event structures with binary conflicts (pes-bc) a branching cell [1] is a subset of events closed under downward causality and immediate conflict relations. This means that no event outside the branching cell can be in conflict with or enable any event inside the branching cell. It bears a strong resemblance to stubborn sets, a partial order reduction method on transition systems. A stubborn set (at a given state) is a subset of actions such that no execution consisting entirely of actions outside the stubborn set can be in conflict with or enable actions that are inside the stubborn set.A rigorous study of the relationship between the two ideas, however, is not straightforward due to the facts that 1) stubborn sets utilise sophisticated causality and conflict relations that invalidate the stability and coherence of event structures [18], 2) without stability it becomes very difficult to define concepts like prefixes and branching cells, which prerequire a clear notion of causality, and 3) it is challenging to devise a technique for identifying 'proper' subsets of transitions as 'events' such that the induced event-based system captures exactly the causality and conflict information needed by stubborn sets.In this paper we give a solution to the problems by providing an unfolding of labelled transition systems into configuration structures, a more general structure supporting or-causality and finite conflict. We show that the branching cell definition can be extended to configuration structures and that each branching cell in the unfolding is a long-lived stubborn set, such that no matter how the system evolves, what remains of the branching cell is always a stubborn set." @default.
- W137181627 created "2016-06-24" @default.
- W137181627 creator A5019190547 @default.
- W137181627 creator A5056101043 @default.
- W137181627 date "2011-01-01" @default.
- W137181627 modified "2023-09-22" @default.
- W137181627 title "On the Origin of Events: Branching Cells as Stubborn Sets" @default.
- W137181627 cites W1494237684 @default.
- W137181627 cites W1528441743 @default.
- W137181627 cites W1979834320 @default.
- W137181627 cites W1984801861 @default.
- W137181627 cites W1999288406 @default.
- W137181627 cites W2016300863 @default.
- W137181627 cites W2024955813 @default.
- W137181627 cites W2093709900 @default.
- W137181627 cites W2134326845 @default.
- W137181627 cites W2154150569 @default.
- W137181627 cites W2583209500 @default.
- W137181627 cites W2911867855 @default.
- W137181627 cites W2912895170 @default.
- W137181627 cites W4210671891 @default.
- W137181627 cites W4233702006 @default.
- W137181627 cites W2508602472 @default.
- W137181627 doi "https://doi.org/10.1007/978-3-642-21834-7_14" @default.
- W137181627 hasPublicationYear "2011" @default.
- W137181627 type Work @default.
- W137181627 sameAs 137181627 @default.
- W137181627 citedByCount "3" @default.
- W137181627 countsByYear W1371816272012 @default.
- W137181627 countsByYear W1371816272015 @default.
- W137181627 crossrefType "book-chapter" @default.
- W137181627 hasAuthorship W137181627A5019190547 @default.
- W137181627 hasAuthorship W137181627A5056101043 @default.
- W137181627 hasConcept C105795698 @default.
- W137181627 hasConcept C11413529 @default.
- W137181627 hasConcept C121332964 @default.
- W137181627 hasConcept C138885662 @default.
- W137181627 hasConcept C141603448 @default.
- W137181627 hasConcept C159985019 @default.
- W137181627 hasConcept C177264268 @default.
- W137181627 hasConcept C192562407 @default.
- W137181627 hasConcept C199360897 @default.
- W137181627 hasConcept C206175624 @default.
- W137181627 hasConcept C2777810175 @default.
- W137181627 hasConcept C2779662365 @default.
- W137181627 hasConcept C33923547 @default.
- W137181627 hasConcept C41008148 @default.
- W137181627 hasConcept C41895202 @default.
- W137181627 hasConcept C62520636 @default.
- W137181627 hasConcept C64357122 @default.
- W137181627 hasConcept C80444323 @default.
- W137181627 hasConceptScore W137181627C105795698 @default.
- W137181627 hasConceptScore W137181627C11413529 @default.
- W137181627 hasConceptScore W137181627C121332964 @default.
- W137181627 hasConceptScore W137181627C138885662 @default.
- W137181627 hasConceptScore W137181627C141603448 @default.
- W137181627 hasConceptScore W137181627C159985019 @default.
- W137181627 hasConceptScore W137181627C177264268 @default.
- W137181627 hasConceptScore W137181627C192562407 @default.
- W137181627 hasConceptScore W137181627C199360897 @default.
- W137181627 hasConceptScore W137181627C206175624 @default.
- W137181627 hasConceptScore W137181627C2777810175 @default.
- W137181627 hasConceptScore W137181627C2779662365 @default.
- W137181627 hasConceptScore W137181627C33923547 @default.
- W137181627 hasConceptScore W137181627C41008148 @default.
- W137181627 hasConceptScore W137181627C41895202 @default.
- W137181627 hasConceptScore W137181627C62520636 @default.
- W137181627 hasConceptScore W137181627C64357122 @default.
- W137181627 hasConceptScore W137181627C80444323 @default.
- W137181627 hasLocation W1371816271 @default.
- W137181627 hasOpenAccess W137181627 @default.
- W137181627 hasPrimaryLocation W1371816271 @default.
- W137181627 hasRelatedWork W115130189 @default.
- W137181627 hasRelatedWork W169171653 @default.
- W137181627 hasRelatedWork W2054275605 @default.
- W137181627 hasRelatedWork W2093218111 @default.
- W137181627 hasRelatedWork W2170297958 @default.
- W137181627 hasRelatedWork W2188217027 @default.
- W137181627 hasRelatedWork W2520807883 @default.
- W137181627 hasRelatedWork W2618312101 @default.
- W137181627 hasRelatedWork W277039825 @default.
- W137181627 hasRelatedWork W2949687099 @default.
- W137181627 hasRelatedWork W2970546136 @default.
- W137181627 hasRelatedWork W2979183979 @default.
- W137181627 hasRelatedWork W2983070708 @default.
- W137181627 hasRelatedWork W3012164407 @default.
- W137181627 hasRelatedWork W376539348 @default.
- W137181627 hasRelatedWork W574395130 @default.
- W137181627 hasRelatedWork W147054865 @default.
- W137181627 hasRelatedWork W170994109 @default.
- W137181627 hasRelatedWork W2184153405 @default.
- W137181627 hasRelatedWork W3144042452 @default.
- W137181627 isParatext "false" @default.
- W137181627 isRetracted "false" @default.
- W137181627 magId "137181627" @default.
- W137181627 workType "book-chapter" @default.