Matches in SemOpenAlex for { <https://semopenalex.org/work/W2913104310> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2913104310 abstract "In order for interleaving to be acceptable in our reasoning about the behaviour of a concurrent program, all the assertions (concerning program behaviour) that arise in the course of our reasoning should be parallelizable. This means that if these assertions hold for the program under interleaving, i.e., when its actions are executed one at a time, then they should also hold when the actions are executed in parallel. In this note, we identify a large family of concurrent programs, called serializable programs, for which rich classes of assertions are shown to be parallelizable. It follows that reasoning about the behaviour of serializable programs can be carried out under interleaving." @default.
- W2913104310 created "2019-02-21" @default.
- W2913104310 creator A5033822615 @default.
- W2913104310 date "1989-11-01" @default.
- W2913104310 modified "2023-09-26" @default.
- W2913104310 title "Serializable Programs, Parallelizable Assertions: A Basis For Interleaving" @default.
- W2913104310 hasPublicationYear "1989" @default.
- W2913104310 type Work @default.
- W2913104310 sameAs 2913104310 @default.
- W2913104310 citedByCount "0" @default.
- W2913104310 crossrefType "journal-article" @default.
- W2913104310 hasAuthorship W2913104310A5033822615 @default.
- W2913104310 hasConcept C111919701 @default.
- W2913104310 hasConcept C11413529 @default.
- W2913104310 hasConcept C148047603 @default.
- W2913104310 hasConcept C159023740 @default.
- W2913104310 hasConcept C173608175 @default.
- W2913104310 hasConcept C199360897 @default.
- W2913104310 hasConcept C28034677 @default.
- W2913104310 hasConcept C41008148 @default.
- W2913104310 hasConcept C52723943 @default.
- W2913104310 hasConcept C80444323 @default.
- W2913104310 hasConceptScore W2913104310C111919701 @default.
- W2913104310 hasConceptScore W2913104310C11413529 @default.
- W2913104310 hasConceptScore W2913104310C148047603 @default.
- W2913104310 hasConceptScore W2913104310C159023740 @default.
- W2913104310 hasConceptScore W2913104310C173608175 @default.
- W2913104310 hasConceptScore W2913104310C199360897 @default.
- W2913104310 hasConceptScore W2913104310C28034677 @default.
- W2913104310 hasConceptScore W2913104310C41008148 @default.
- W2913104310 hasConceptScore W2913104310C52723943 @default.
- W2913104310 hasConceptScore W2913104310C80444323 @default.
- W2913104310 hasLocation W29131043101 @default.
- W2913104310 hasOpenAccess W2913104310 @default.
- W2913104310 hasPrimaryLocation W29131043101 @default.
- W2913104310 hasRelatedWork W1594853645 @default.
- W2913104310 hasRelatedWork W1600346672 @default.
- W2913104310 hasRelatedWork W1963743620 @default.
- W2913104310 hasRelatedWork W2001515918 @default.
- W2913104310 hasRelatedWork W2031374177 @default.
- W2913104310 hasRelatedWork W2033103284 @default.
- W2913104310 hasRelatedWork W2084318081 @default.
- W2913104310 hasRelatedWork W2085596514 @default.
- W2913104310 hasRelatedWork W2105482313 @default.
- W2913104310 hasRelatedWork W2282477915 @default.
- W2913104310 hasRelatedWork W2296577030 @default.
- W2913104310 hasRelatedWork W2404108077 @default.
- W2913104310 hasRelatedWork W2569672444 @default.
- W2913104310 hasRelatedWork W2694488820 @default.
- W2913104310 hasRelatedWork W2788555411 @default.
- W2913104310 hasRelatedWork W2799037136 @default.
- W2913104310 hasRelatedWork W2898836676 @default.
- W2913104310 hasRelatedWork W2945152208 @default.
- W2913104310 hasRelatedWork W2972423793 @default.
- W2913104310 hasRelatedWork W66150051 @default.
- W2913104310 isParatext "false" @default.
- W2913104310 isRetracted "false" @default.
- W2913104310 magId "2913104310" @default.
- W2913104310 workType "article" @default.