Matches in SemOpenAlex for { <https://semopenalex.org/work/W3105773083> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W3105773083 endingPage "42" @default.
- W3105773083 startingPage "29" @default.
- W3105773083 abstract "When modeling concurrent or cyber-physical systems, non-functional requirements such as time are important to consider. In order to improve the timing aspects of a model, it is necessary to have some notion of what it means for a process to be faster than another, which can guide the stepwise refinement of the model. To this end we study a faster-than relation for semi-Markov decision processes and compare it to standard notions for relating systems. We consider the compositional aspects of this relation, and show that the faster-than relation is not a precongruence with respect to parallel composition, hence giving rise to so-called parallel timing anomalies. We take the first steps toward understanding this problem by identifying decidable conditions sufficient to avoid parallel timing anomalies in the absence of non-determinism." @default.
- W3105773083 created "2020-11-23" @default.
- W3105773083 creator A5041314517 @default.
- W3105773083 creator A5044883502 @default.
- W3105773083 creator A5069362159 @default.
- W3105773083 date "2020-01-20" @default.
- W3105773083 modified "2023-10-01" @default.
- W3105773083 title "A Faster-Than Relation for Semi-Markov Decision Processes" @default.
- W3105773083 cites W1495199168 @default.
- W3105773083 cites W1499210710 @default.
- W3105773083 cites W1508777689 @default.
- W3105773083 cites W1509804682 @default.
- W3105773083 cites W1575288406 @default.
- W3105773083 cites W1584428153 @default.
- W3105773083 cites W1600800362 @default.
- W3105773083 cites W1605390129 @default.
- W3105773083 cites W1797219784 @default.
- W3105773083 cites W1907401487 @default.
- W3105773083 cites W2002076098 @default.
- W3105773083 cites W2014322972 @default.
- W3105773083 cites W2038722551 @default.
- W3105773083 cites W2104680817 @default.
- W3105773083 cites W2114554615 @default.
- W3105773083 cites W2115555017 @default.
- W3105773083 cites W2118635884 @default.
- W3105773083 cites W2126214140 @default.
- W3105773083 cites W2137467159 @default.
- W3105773083 cites W2142733398 @default.
- W3105773083 cites W2151372866 @default.
- W3105773083 cites W2169239645 @default.
- W3105773083 cites W2313885938 @default.
- W3105773083 cites W2464043836 @default.
- W3105773083 cites W2768202271 @default.
- W3105773083 cites W4206542816 @default.
- W3105773083 cites W1955355201 @default.
- W3105773083 doi "https://doi.org/10.4204/eptcs.312.3" @default.
- W3105773083 hasPublicationYear "2020" @default.
- W3105773083 type Work @default.
- W3105773083 sameAs 3105773083 @default.
- W3105773083 citedByCount "2" @default.
- W3105773083 countsByYear W31057730832020 @default.
- W3105773083 countsByYear W31057730832023 @default.
- W3105773083 crossrefType "journal-article" @default.
- W3105773083 hasAuthorship W3105773083A5041314517 @default.
- W3105773083 hasAuthorship W3105773083A5044883502 @default.
- W3105773083 hasAuthorship W3105773083A5069362159 @default.
- W3105773083 hasBestOaLocation W31057730831 @default.
- W3105773083 hasConcept C105795698 @default.
- W3105773083 hasConcept C106189395 @default.
- W3105773083 hasConcept C121332964 @default.
- W3105773083 hasConcept C124101348 @default.
- W3105773083 hasConcept C153269930 @default.
- W3105773083 hasConcept C159886148 @default.
- W3105773083 hasConcept C192183473 @default.
- W3105773083 hasConcept C199360897 @default.
- W3105773083 hasConcept C25343380 @default.
- W3105773083 hasConcept C33923547 @default.
- W3105773083 hasConcept C41008148 @default.
- W3105773083 hasConcept C62520636 @default.
- W3105773083 hasConcept C80444323 @default.
- W3105773083 hasConcept C98045186 @default.
- W3105773083 hasConceptScore W3105773083C105795698 @default.
- W3105773083 hasConceptScore W3105773083C106189395 @default.
- W3105773083 hasConceptScore W3105773083C121332964 @default.
- W3105773083 hasConceptScore W3105773083C124101348 @default.
- W3105773083 hasConceptScore W3105773083C153269930 @default.
- W3105773083 hasConceptScore W3105773083C159886148 @default.
- W3105773083 hasConceptScore W3105773083C192183473 @default.
- W3105773083 hasConceptScore W3105773083C199360897 @default.
- W3105773083 hasConceptScore W3105773083C25343380 @default.
- W3105773083 hasConceptScore W3105773083C33923547 @default.
- W3105773083 hasConceptScore W3105773083C41008148 @default.
- W3105773083 hasConceptScore W3105773083C62520636 @default.
- W3105773083 hasConceptScore W3105773083C80444323 @default.
- W3105773083 hasConceptScore W3105773083C98045186 @default.
- W3105773083 hasLocation W31057730831 @default.
- W3105773083 hasLocation W31057730832 @default.
- W3105773083 hasLocation W31057730833 @default.
- W3105773083 hasLocation W31057730834 @default.
- W3105773083 hasLocation W31057730835 @default.
- W3105773083 hasOpenAccess W3105773083 @default.
- W3105773083 hasPrimaryLocation W31057730831 @default.
- W3105773083 hasRelatedWork W2376123007 @default.
- W3105773083 hasRelatedWork W3024790134 @default.
- W3105773083 hasRelatedWork W3097045895 @default.
- W3105773083 hasRelatedWork W3105773083 @default.
- W3105773083 hasRelatedWork W3123016307 @default.
- W3105773083 hasRelatedWork W4225571404 @default.
- W3105773083 hasRelatedWork W4287779238 @default.
- W3105773083 hasRelatedWork W4307454606 @default.
- W3105773083 hasRelatedWork W4312190622 @default.
- W3105773083 hasRelatedWork W2847964459 @default.
- W3105773083 hasVolume "312" @default.
- W3105773083 isParatext "false" @default.
- W3105773083 isRetracted "false" @default.
- W3105773083 magId "3105773083" @default.
- W3105773083 workType "article" @default.