Matches in SemOpenAlex for { <https://semopenalex.org/work/W2062650147> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2062650147 endingPage "813" @default.
- W2062650147 startingPage "797" @default.
- W2062650147 abstract "This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the context of discrete event systems, where two concurrent systems are said to be in conflict if they can get trapped in a situation where they are waiting or running endlessly, forever unable to complete their common task. In order to analyse complex discrete event systems, conflict-preserving notions of refinement and equivalence are needed. This paper characterises an appropriate refinement, called the conflict preorder, and provides a denotational semantics for it. Its relationship to other known process preorders is explored, and it is shown to generalise the fair testing preorder in process-algebra for reasoning about conflicts in discrete event systems." @default.
- W2062650147 created "2016-06-24" @default.
- W2062650147 creator A5009427975 @default.
- W2062650147 creator A5018941279 @default.
- W2062650147 creator A5084137497 @default.
- W2062650147 date "2006-08-01" @default.
- W2062650147 modified "2023-09-23" @default.
- W2062650147 title "CONFLICTS AND FAIR TESTING" @default.
- W2062650147 cites W101029079 @default.
- W2062650147 cites W1552519843 @default.
- W2062650147 cites W1756287061 @default.
- W2062650147 cites W2059057465 @default.
- W2062650147 cites W2117189826 @default.
- W2062650147 cites W2118725223 @default.
- W2062650147 cites W2137865376 @default.
- W2062650147 cites W2157144873 @default.
- W2062650147 cites W2205337852 @default.
- W2062650147 cites W4297744580 @default.
- W2062650147 cites W4300021588 @default.
- W2062650147 doi "https://doi.org/10.1142/s012905410600411x" @default.
- W2062650147 hasPublicationYear "2006" @default.
- W2062650147 type Work @default.
- W2062650147 sameAs 2062650147 @default.
- W2062650147 citedByCount "40" @default.
- W2062650147 countsByYear W20626501472012 @default.
- W2062650147 countsByYear W20626501472013 @default.
- W2062650147 countsByYear W20626501472014 @default.
- W2062650147 countsByYear W20626501472015 @default.
- W2062650147 countsByYear W20626501472016 @default.
- W2062650147 countsByYear W20626501472017 @default.
- W2062650147 countsByYear W20626501472018 @default.
- W2062650147 countsByYear W20626501472020 @default.
- W2062650147 countsByYear W20626501472023 @default.
- W2062650147 crossrefType "journal-article" @default.
- W2062650147 hasAuthorship W2062650147A5009427975 @default.
- W2062650147 hasAuthorship W2062650147A5018941279 @default.
- W2062650147 hasAuthorship W2062650147A5084137497 @default.
- W2062650147 hasBestOaLocation W20626501472 @default.
- W2062650147 hasConcept C118615104 @default.
- W2062650147 hasConcept C121332964 @default.
- W2062650147 hasConcept C136119220 @default.
- W2062650147 hasConcept C151730666 @default.
- W2062650147 hasConcept C161771561 @default.
- W2062650147 hasConcept C202444582 @default.
- W2062650147 hasConcept C2333172 @default.
- W2062650147 hasConcept C2779343474 @default.
- W2062650147 hasConcept C2779662365 @default.
- W2062650147 hasConcept C2780069185 @default.
- W2062650147 hasConcept C33923547 @default.
- W2062650147 hasConcept C41008148 @default.
- W2062650147 hasConcept C62520636 @default.
- W2062650147 hasConcept C80444323 @default.
- W2062650147 hasConcept C86803240 @default.
- W2062650147 hasConceptScore W2062650147C118615104 @default.
- W2062650147 hasConceptScore W2062650147C121332964 @default.
- W2062650147 hasConceptScore W2062650147C136119220 @default.
- W2062650147 hasConceptScore W2062650147C151730666 @default.
- W2062650147 hasConceptScore W2062650147C161771561 @default.
- W2062650147 hasConceptScore W2062650147C202444582 @default.
- W2062650147 hasConceptScore W2062650147C2333172 @default.
- W2062650147 hasConceptScore W2062650147C2779343474 @default.
- W2062650147 hasConceptScore W2062650147C2779662365 @default.
- W2062650147 hasConceptScore W2062650147C2780069185 @default.
- W2062650147 hasConceptScore W2062650147C33923547 @default.
- W2062650147 hasConceptScore W2062650147C41008148 @default.
- W2062650147 hasConceptScore W2062650147C62520636 @default.
- W2062650147 hasConceptScore W2062650147C80444323 @default.
- W2062650147 hasConceptScore W2062650147C86803240 @default.
- W2062650147 hasIssue "04" @default.
- W2062650147 hasLocation W20626501471 @default.
- W2062650147 hasLocation W20626501472 @default.
- W2062650147 hasOpenAccess W2062650147 @default.
- W2062650147 hasPrimaryLocation W20626501471 @default.
- W2062650147 hasRelatedWork W1543496272 @default.
- W2062650147 hasRelatedWork W1888841230 @default.
- W2062650147 hasRelatedWork W1988856107 @default.
- W2062650147 hasRelatedWork W2069441293 @default.
- W2062650147 hasRelatedWork W2075196465 @default.
- W2062650147 hasRelatedWork W2171788740 @default.
- W2062650147 hasRelatedWork W2931193726 @default.
- W2062650147 hasRelatedWork W304220975 @default.
- W2062650147 hasRelatedWork W4207042428 @default.
- W2062650147 hasRelatedWork W2583551482 @default.
- W2062650147 hasVolume "17" @default.
- W2062650147 isParatext "false" @default.
- W2062650147 isRetracted "false" @default.
- W2062650147 magId "2062650147" @default.
- W2062650147 workType "article" @default.