Matches in SemOpenAlex for { <https://semopenalex.org/work/W2763858141> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2763858141 abstract "A concurrent application consists of a set of concurrently executing interacting processes. Although earlier we proposed work automata to specify both computation and interaction of such a set of executing processes, a detailed formal semantics for them was left implicit. In this paper, we provide a formal semantics for work automata, based on which we introduce equivalences such as weak simulation and weak language inclusion. Subsequently, we define operations on work automata that simplify them while preserving these equivalences. Where applicable, these operations simplify a work automaton by merging its different states into a state with a ‘more inclusive’ state-invariant. The resulting state-invariant defines a region in a multidimensional real vector space that potentially contains holes, which in turn expose mutual exclusion among processes. Such exposed dependencies provide additional insight in the behavior of an application, which can enhance scheduling. Our operations, therefore, potentially expose implicit dependencies among processes that otherwise may not be evident to exploit." @default.
- W2763858141 created "2017-10-20" @default.
- W2763858141 creator A5082262382 @default.
- W2763858141 creator A5084476639 @default.
- W2763858141 date "2017-01-01" @default.
- W2763858141 modified "2023-09-27" @default.
- W2763858141 title "Exposing Latent Mutual Exclusion by Work Automata" @default.
- W2763858141 cites W1494049105 @default.
- W2763858141 cites W1643571618 @default.
- W2763858141 cites W1988680012 @default.
- W2763858141 cites W2101508170 @default.
- W2763858141 cites W2110308671 @default.
- W2763858141 cites W2129402326 @default.
- W2763858141 cites W2135717968 @default.
- W2763858141 cites W2439559863 @default.
- W2763858141 cites W2501922615 @default.
- W2763858141 cites W3189981105 @default.
- W2763858141 doi "https://doi.org/10.1007/978-3-319-68953-1_6" @default.
- W2763858141 hasPublicationYear "2017" @default.
- W2763858141 type Work @default.
- W2763858141 sameAs 2763858141 @default.
- W2763858141 citedByCount "1" @default.
- W2763858141 countsByYear W27638581412021 @default.
- W2763858141 crossrefType "book-chapter" @default.
- W2763858141 hasAuthorship W2763858141A5082262382 @default.
- W2763858141 hasAuthorship W2763858141A5084476639 @default.
- W2763858141 hasBestOaLocation W27638581412 @default.
- W2763858141 hasConcept C112505250 @default.
- W2763858141 hasConcept C127413603 @default.
- W2763858141 hasConcept C18762648 @default.
- W2763858141 hasConcept C41008148 @default.
- W2763858141 hasConcept C56348326 @default.
- W2763858141 hasConcept C78519656 @default.
- W2763858141 hasConcept C80444323 @default.
- W2763858141 hasConceptScore W2763858141C112505250 @default.
- W2763858141 hasConceptScore W2763858141C127413603 @default.
- W2763858141 hasConceptScore W2763858141C18762648 @default.
- W2763858141 hasConceptScore W2763858141C41008148 @default.
- W2763858141 hasConceptScore W2763858141C56348326 @default.
- W2763858141 hasConceptScore W2763858141C78519656 @default.
- W2763858141 hasConceptScore W2763858141C80444323 @default.
- W2763858141 hasLocation W27638581411 @default.
- W2763858141 hasLocation W27638581412 @default.
- W2763858141 hasLocation W27638581413 @default.
- W2763858141 hasLocation W27638581414 @default.
- W2763858141 hasOpenAccess W2763858141 @default.
- W2763858141 hasPrimaryLocation W27638581411 @default.
- W2763858141 hasRelatedWork W117875910 @default.
- W2763858141 hasRelatedWork W1582650717 @default.
- W2763858141 hasRelatedWork W1603554695 @default.
- W2763858141 hasRelatedWork W1749129787 @default.
- W2763858141 hasRelatedWork W2354354754 @default.
- W2763858141 hasRelatedWork W2467972605 @default.
- W2763858141 hasRelatedWork W2740942814 @default.
- W2763858141 hasRelatedWork W2763858141 @default.
- W2763858141 hasRelatedWork W4236405411 @default.
- W2763858141 hasRelatedWork W2161754145 @default.
- W2763858141 isParatext "false" @default.
- W2763858141 isRetracted "false" @default.
- W2763858141 magId "2763858141" @default.
- W2763858141 workType "book-chapter" @default.