Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046529512> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2046529512 endingPage "602" @default.
- W2046529512 startingPage "583" @default.
- W2046529512 abstract "In the literature, the conditions on history variables or forward simulations that are related to liveness are expressed in terms of behaviours, and are stronger than convenient and necessary. In this paper, we propose alternative conditions on the simulation relation, which are expressed in terms of the next state relation, and are closely tied to the weak or strong fairness conditions of the specifications. The proof of soundness of this proposal is based on a new theorem that asserts the existence of a strongly fair scheduler for infinitely many alternatives. The theory is extended to simulations in which the concrete specification (occasionally) does fewer steps than the abstract specification it implements." @default.
- W2046529512 created "2016-06-24" @default.
- W2046529512 creator A5022758187 @default.
- W2046529512 date "2006-03-01" @default.
- W2046529512 modified "2023-10-04" @default.
- W2046529512 title "Splitting forward simulations to copewith liveness" @default.
- W2046529512 cites W1964727056 @default.
- W2046529512 cites W1976331012 @default.
- W2046529512 cites W1988698742 @default.
- W2046529512 cites W2012041760 @default.
- W2046529512 cites W2015688007 @default.
- W2046529512 cites W2032921764 @default.
- W2046529512 cites W2048300231 @default.
- W2046529512 cites W2067629577 @default.
- W2046529512 cites W2078259946 @default.
- W2046529512 cites W2103898608 @default.
- W2046529512 cites W2106115868 @default.
- W2046529512 cites W2121978431 @default.
- W2046529512 cites W2124873137 @default.
- W2046529512 cites W2132107743 @default.
- W2046529512 cites W2295903464 @default.
- W2046529512 doi "https://doi.org/10.1007/s00236-006-0007-y" @default.
- W2046529512 hasPublicationYear "2006" @default.
- W2046529512 type Work @default.
- W2046529512 sameAs 2046529512 @default.
- W2046529512 citedByCount "8" @default.
- W2046529512 countsByYear W20465295122013 @default.
- W2046529512 crossrefType "journal-article" @default.
- W2046529512 hasAuthorship W2046529512A5022758187 @default.
- W2046529512 hasBestOaLocation W20465295122 @default.
- W2046529512 hasConcept C108710211 @default.
- W2046529512 hasConcept C124101348 @default.
- W2046529512 hasConcept C144237770 @default.
- W2046529512 hasConcept C15569618 @default.
- W2046529512 hasConcept C199360897 @default.
- W2046529512 hasConcept C24858836 @default.
- W2046529512 hasConcept C2524010 @default.
- W2046529512 hasConcept C25343380 @default.
- W2046529512 hasConcept C33923547 @default.
- W2046529512 hasConcept C39920170 @default.
- W2046529512 hasConcept C41008148 @default.
- W2046529512 hasConcept C80444323 @default.
- W2046529512 hasConceptScore W2046529512C108710211 @default.
- W2046529512 hasConceptScore W2046529512C124101348 @default.
- W2046529512 hasConceptScore W2046529512C144237770 @default.
- W2046529512 hasConceptScore W2046529512C15569618 @default.
- W2046529512 hasConceptScore W2046529512C199360897 @default.
- W2046529512 hasConceptScore W2046529512C24858836 @default.
- W2046529512 hasConceptScore W2046529512C2524010 @default.
- W2046529512 hasConceptScore W2046529512C25343380 @default.
- W2046529512 hasConceptScore W2046529512C33923547 @default.
- W2046529512 hasConceptScore W2046529512C39920170 @default.
- W2046529512 hasConceptScore W2046529512C41008148 @default.
- W2046529512 hasConceptScore W2046529512C80444323 @default.
- W2046529512 hasIssue "8-9" @default.
- W2046529512 hasLocation W20465295121 @default.
- W2046529512 hasLocation W20465295122 @default.
- W2046529512 hasLocation W20465295123 @default.
- W2046529512 hasOpenAccess W2046529512 @default.
- W2046529512 hasPrimaryLocation W20465295121 @default.
- W2046529512 hasRelatedWork W18781025 @default.
- W2046529512 hasRelatedWork W2046529512 @default.
- W2046529512 hasRelatedWork W2155101008 @default.
- W2046529512 hasRelatedWork W2794624029 @default.
- W2046529512 hasRelatedWork W2950541934 @default.
- W2046529512 hasRelatedWork W2952519015 @default.
- W2046529512 hasRelatedWork W2971627214 @default.
- W2046529512 hasRelatedWork W3030344816 @default.
- W2046529512 hasRelatedWork W3204711402 @default.
- W2046529512 hasRelatedWork W2584930013 @default.
- W2046529512 hasVolume "42" @default.
- W2046529512 isParatext "false" @default.
- W2046529512 isRetracted "false" @default.
- W2046529512 magId "2046529512" @default.
- W2046529512 workType "article" @default.