Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000855267> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2000855267 endingPage "422" @default.
- W2000855267 startingPage "379" @default.
- W2000855267 abstract "A testing scenario in the sense of De Nicola and Hennessy is developed to measure the worst-case efficiency of asynchronous systems using dense time. For all three variants considered, it is shown that one can equivalently use discrete time; in the discrete versions, one variant coincides with an approach based on discrete time in Vogler (CONCUR95, Lecture Notes in Computer Science, vol. 962, Springer, Berlin, 1995, pp. 299–312), and thus we can clarify the assumptions behind this approach. The resulting testing-preorders are characterized with some kind of refusal traces and shown to satisfy some properties that make them attractive as faster-than relations. The three testing preorders are incomparable in general, but for some interesting classes of systems implications are shown." @default.
- W2000855267 created "2016-06-24" @default.
- W2000855267 creator A5047412154 @default.
- W2000855267 creator A5068573305 @default.
- W2000855267 date "2001-03-01" @default.
- W2000855267 modified "2023-09-23" @default.
- W2000855267 title "Fast asynchronous systems in dense time" @default.
- W2000855267 cites W1480685647 @default.
- W2000855267 cites W1532422145 @default.
- W2000855267 cites W1553245026 @default.
- W2000855267 cites W1575288406 @default.
- W2000855267 cites W1586966546 @default.
- W2000855267 cites W1596524122 @default.
- W2000855267 cites W1870400417 @default.
- W2000855267 cites W2001026449 @default.
- W2000855267 cites W2002076098 @default.
- W2000855267 cites W2010241460 @default.
- W2000855267 cites W2022360370 @default.
- W2000855267 cites W204986521 @default.
- W2000855267 cites W2101508170 @default.
- W2000855267 cites W2147535250 @default.
- W2000855267 cites W2157144873 @default.
- W2000855267 cites W2176413683 @default.
- W2000855267 cites W2328819335 @default.
- W2000855267 cites W2611515161 @default.
- W2000855267 cites W2913048148 @default.
- W2000855267 doi "https://doi.org/10.1016/s0304-3975(99)00304-7" @default.
- W2000855267 hasPublicationYear "2001" @default.
- W2000855267 type Work @default.
- W2000855267 sameAs 2000855267 @default.
- W2000855267 citedByCount "15" @default.
- W2000855267 countsByYear W20008552672015 @default.
- W2000855267 crossrefType "journal-article" @default.
- W2000855267 hasAuthorship W2000855267A5047412154 @default.
- W2000855267 hasAuthorship W2000855267A5068573305 @default.
- W2000855267 hasConcept C105795698 @default.
- W2000855267 hasConcept C11413529 @default.
- W2000855267 hasConcept C118615104 @default.
- W2000855267 hasConcept C124101348 @default.
- W2000855267 hasConcept C136119220 @default.
- W2000855267 hasConcept C151319957 @default.
- W2000855267 hasConcept C202444582 @default.
- W2000855267 hasConcept C2780009758 @default.
- W2000855267 hasConcept C31258907 @default.
- W2000855267 hasConcept C33923547 @default.
- W2000855267 hasConcept C41008148 @default.
- W2000855267 hasConcept C55689738 @default.
- W2000855267 hasConcept C80444323 @default.
- W2000855267 hasConceptScore W2000855267C105795698 @default.
- W2000855267 hasConceptScore W2000855267C11413529 @default.
- W2000855267 hasConceptScore W2000855267C118615104 @default.
- W2000855267 hasConceptScore W2000855267C124101348 @default.
- W2000855267 hasConceptScore W2000855267C136119220 @default.
- W2000855267 hasConceptScore W2000855267C151319957 @default.
- W2000855267 hasConceptScore W2000855267C202444582 @default.
- W2000855267 hasConceptScore W2000855267C2780009758 @default.
- W2000855267 hasConceptScore W2000855267C31258907 @default.
- W2000855267 hasConceptScore W2000855267C33923547 @default.
- W2000855267 hasConceptScore W2000855267C41008148 @default.
- W2000855267 hasConceptScore W2000855267C55689738 @default.
- W2000855267 hasConceptScore W2000855267C80444323 @default.
- W2000855267 hasIssue "1-2" @default.
- W2000855267 hasLocation W20008552671 @default.
- W2000855267 hasOpenAccess W2000855267 @default.
- W2000855267 hasPrimaryLocation W20008552671 @default.
- W2000855267 hasRelatedWork W1548320035 @default.
- W2000855267 hasRelatedWork W1870400417 @default.
- W2000855267 hasRelatedWork W1965638344 @default.
- W2000855267 hasRelatedWork W2006363920 @default.
- W2000855267 hasRelatedWork W2021838450 @default.
- W2000855267 hasRelatedWork W2122091831 @default.
- W2000855267 hasRelatedWork W2147711412 @default.
- W2000855267 hasRelatedWork W2367372208 @default.
- W2000855267 hasRelatedWork W2521877348 @default.
- W2000855267 hasRelatedWork W3100791781 @default.
- W2000855267 hasVolume "254" @default.
- W2000855267 isParatext "false" @default.
- W2000855267 isRetracted "false" @default.
- W2000855267 magId "2000855267" @default.
- W2000855267 workType "article" @default.