FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1497525219> ?p ?o ?g. }

• W1497525219 endingPage "130" @default.
• W1497525219 startingPage "103" @default.
• W1497525219 abstract "In process algebras that allow for some form of disruption, it is important to state when a process terminates. One option is to include a termination action √. Another approach is that the 'final' executed action of a process terminates the process. The semantics of the former approach has been investigated in the literature in detail, e.g. by providing consistent true-concurrency and operational descriptions. The 'final' executed action termination approach, which is more adequate for modelling, still lacks the existence of a detailed true concurrent description. In order to give a true concurrency model of such a termination view, we introduce a new class of event structures. This type of event structures models disabling by indicating sets of precursor events. We show that the introduced class of event structures has more expressive power with respect to event traces than the common event structures. We also give a classification of the expressive power in terms of sets of event traces. A consistency result of an operational and a denotational semantics is shown." @default.
• W1497525219 created "2016-06-24" @default.
• W1497525219 creator A5045042008 @default.
• W1497525219 creator A5074689659 @default.
• W1497525219 date "2005-01-01" @default.
• W1497525219 modified "2023-09-26" @default.
• W1497525219 title "Event Structures for Arbitrary Disruption" @default.
• W1497525219 cites W120395894 @default.
• W1497525219 cites W1500016649 @default.
• W1497525219 cites W1503848408 @default.
• W1497525219 cites W1503973138 @default.
• W1497525219 cites W1591056738 @default.
• W1497525219 cites W1608345513 @default.
• W1497525219 cites W1608423278 @default.
• W1497525219 cites W1764985494 @default.
• W1497525219 cites W1793309813 @default.
• W1497525219 cites W1970326465 @default.
• W1497525219 cites W1972478730 @default.
• W1497525219 cites W1983660095 @default.
• W1497525219 cites W1991052229 @default.
• W1497525219 cites W2001704968 @default.
• W1497525219 cites W2055350841 @default.
• W1497525219 cites W2058581099 @default.
• W1497525219 cites W2089336326 @default.
• W1497525219 cites W2121372686 @default.
• W1497525219 cites W2134326845 @default.
• W1497525219 cites W2137250214 @default.
• W1497525219 cites W2296604987 @default.
• W1497525219 cites W2470948957 @default.
• W1497525219 cites W2914212232 @default.
• W1497525219 cites W2914793699 @default.
• W1497525219 hasPublicationYear "2005" @default.
• W1497525219 type Work @default.
• W1497525219 sameAs 1497525219 @default.
• W1497525219 citedByCount "2" @default.
• W1497525219 countsByYear W14975252192018 @default.
• W1497525219 crossrefType "journal-article" @default.
• W1497525219 hasAuthorship W1497525219A5045042008 @default.
• W1497525219 hasAuthorship W1497525219A5074689659 @default.
• W1497525219 hasConcept C105795698 @default.
• W1497525219 hasConcept C121332964 @default.
• W1497525219 hasConcept C154945302 @default.
• W1497525219 hasConcept C156325763 @default.
• W1497525219 hasConcept C161771561 @default.
• W1497525219 hasConcept C184337299 @default.
• W1497525219 hasConcept C193702766 @default.
• W1497525219 hasConcept C195818886 @default.
• W1497525219 hasConcept C199360897 @default.
• W1497525219 hasConcept C2776436953 @default.
• W1497525219 hasConcept C2777212361 @default.
• W1497525219 hasConcept C2777810175 @default.
• W1497525219 hasConcept C2779662365 @default.
• W1497525219 hasConcept C2780791683 @default.
• W1497525219 hasConcept C33923547 @default.
• W1497525219 hasConcept C41008148 @default.
• W1497525219 hasConcept C62520636 @default.
• W1497525219 hasConcept C80444323 @default.
• W1497525219 hasConcept C98045186 @default.
• W1497525219 hasConceptScore W1497525219C105795698 @default.
• W1497525219 hasConceptScore W1497525219C121332964 @default.
• W1497525219 hasConceptScore W1497525219C154945302 @default.
• W1497525219 hasConceptScore W1497525219C156325763 @default.
• W1497525219 hasConceptScore W1497525219C161771561 @default.
• W1497525219 hasConceptScore W1497525219C184337299 @default.
• W1497525219 hasConceptScore W1497525219C193702766 @default.
• W1497525219 hasConceptScore W1497525219C195818886 @default.
• W1497525219 hasConceptScore W1497525219C199360897 @default.
• W1497525219 hasConceptScore W1497525219C2776436953 @default.
• W1497525219 hasConceptScore W1497525219C2777212361 @default.
• W1497525219 hasConceptScore W1497525219C2777810175 @default.
• W1497525219 hasConceptScore W1497525219C2779662365 @default.
• W1497525219 hasConceptScore W1497525219C2780791683 @default.
• W1497525219 hasConceptScore W1497525219C33923547 @default.
• W1497525219 hasConceptScore W1497525219C41008148 @default.
• W1497525219 hasConceptScore W1497525219C62520636 @default.
• W1497525219 hasConceptScore W1497525219C80444323 @default.
• W1497525219 hasConceptScore W1497525219C98045186 @default.
• W1497525219 hasIssue "1" @default.
• W1497525219 hasLocation W14975252191 @default.
• W1497525219 hasOpenAccess W1497525219 @default.
• W1497525219 hasPrimaryLocation W14975252191 @default.
• W1497525219 hasRelatedWork W141761068 @default.
• W1497525219 hasRelatedWork W1574968691 @default.
• W1497525219 hasRelatedWork W1792234409 @default.
• W1497525219 hasRelatedWork W1832980700 @default.
• W1497525219 hasRelatedWork W192799299 @default.
• W1497525219 hasRelatedWork W1964551226 @default.
• W1497525219 hasRelatedWork W1973474669 @default.
• W1497525219 hasRelatedWork W2026788619 @default.
• W1497525219 hasRelatedWork W2042088860 @default.
• W1497525219 hasRelatedWork W2072672662 @default.
• W1497525219 hasRelatedWork W2093335611 @default.
• W1497525219 hasRelatedWork W2106180000 @default.
• W1497525219 hasRelatedWork W2159024727 @default.
• W1497525219 hasRelatedWork W2425127342 @default.
• W1497525219 hasRelatedWork W2529529838 @default.
• W1497525219 hasRelatedWork W2775560285 @default.
• W1497525219 hasRelatedWork W2913376619 @default.

• next