Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002076098> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2002076098 endingPage "171" @default.
- W2002076098 startingPage "149" @default.
- W2002076098 abstract "This paper is concerned with timing considerations for concurrent systems where the time needed by the individual actions is not known beforehand: it has long been suspected that the power of partial order semantics is needed here. We develop a suitable testing scenario to study this idea. With one view of timed behaviour, we can confirm that interval semiword semantics, a special partial order semantics, is indeed what can be observed with timed tests. With another view, our testing scenario leads to timed-refusal-trace semantics; this is a noninterleaving semantics, but it seems that it cannot be represented with partial orders in a meaningful way." @default.
- W2002076098 created "2016-06-24" @default.
- W2002076098 creator A5068573305 @default.
- W2002076098 date "1995-09-01" @default.
- W2002076098 modified "2023-09-28" @default.
- W2002076098 title "Timed Testing of Concurrent Systems" @default.
- W2002076098 cites W103974107 @default.
- W2002076098 cites W1553245026 @default.
- W2002076098 cites W1586966546 @default.
- W2002076098 cites W1879394417 @default.
- W2002076098 cites W2096241545 @default.
- W2002076098 cites W2110176660 @default.
- W2002076098 cites W2126860147 @default.
- W2002076098 cites W2157144873 @default.
- W2002076098 cites W2180304681 @default.
- W2002076098 cites W2913048148 @default.
- W2002076098 cites W330566814 @default.
- W2002076098 doi "https://doi.org/10.1006/inco.1995.1130" @default.
- W2002076098 hasPublicationYear "1995" @default.
- W2002076098 type Work @default.
- W2002076098 sameAs 2002076098 @default.
- W2002076098 citedByCount "33" @default.
- W2002076098 countsByYear W20020760982017 @default.
- W2002076098 countsByYear W20020760982020 @default.
- W2002076098 crossrefType "journal-article" @default.
- W2002076098 hasAuthorship W2002076098A5068573305 @default.
- W2002076098 hasBestOaLocation W20020760981 @default.
- W2002076098 hasConcept C138885662 @default.
- W2002076098 hasConcept C156325763 @default.
- W2002076098 hasConcept C184337299 @default.
- W2002076098 hasConcept C195818886 @default.
- W2002076098 hasConcept C199360897 @default.
- W2002076098 hasConcept C41008148 @default.
- W2002076098 hasConcept C41895202 @default.
- W2002076098 hasConcept C75291252 @default.
- W2002076098 hasConcept C80444323 @default.
- W2002076098 hasConceptScore W2002076098C138885662 @default.
- W2002076098 hasConceptScore W2002076098C156325763 @default.
- W2002076098 hasConceptScore W2002076098C184337299 @default.
- W2002076098 hasConceptScore W2002076098C195818886 @default.
- W2002076098 hasConceptScore W2002076098C199360897 @default.
- W2002076098 hasConceptScore W2002076098C41008148 @default.
- W2002076098 hasConceptScore W2002076098C41895202 @default.
- W2002076098 hasConceptScore W2002076098C75291252 @default.
- W2002076098 hasConceptScore W2002076098C80444323 @default.
- W2002076098 hasIssue "2" @default.
- W2002076098 hasLocation W20020760981 @default.
- W2002076098 hasOpenAccess W2002076098 @default.
- W2002076098 hasPrimaryLocation W20020760981 @default.
- W2002076098 hasRelatedWork W1491977649 @default.
- W2002076098 hasRelatedWork W2005840275 @default.
- W2002076098 hasRelatedWork W2008609084 @default.
- W2002076098 hasRelatedWork W2056977125 @default.
- W2002076098 hasRelatedWork W2090686886 @default.
- W2002076098 hasRelatedWork W2357416248 @default.
- W2002076098 hasRelatedWork W27605384 @default.
- W2002076098 hasRelatedWork W3028943997 @default.
- W2002076098 hasRelatedWork W4200200653 @default.
- W2002076098 hasRelatedWork W97582271 @default.
- W2002076098 hasVolume "121" @default.
- W2002076098 isParatext "false" @default.
- W2002076098 isRetracted "false" @default.
- W2002076098 magId "2002076098" @default.
- W2002076098 workType "article" @default.