Matches in SemOpenAlex for { <https://semopenalex.org/work/W1767410020> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1767410020 endingPage "572" @default.
- W1767410020 startingPage "563" @default.
- W1767410020 abstract "Strong fairness is a notion we can use to ensure that an element that is enabled infinitely often in a non-deterministic programme, will eventually be selected for execution so that it can progress. Unfortunately, “eventually” is too weak to induce the intuitive idea of liveliness and leads to anomalies that are not desirable, namely fair finiteness and conspiracies. In this paper, we focus on non-deterministic programmes based on multiparty interactions and we present a new criteria for selecting interactions called strong k- fairness that improves on other proposals in that it addresses both anomalies simultaneously, and k may be set a priori to control its goodness. We also show our notion is feasible, and present an algorithm for scheduling interactions in a strongly k-fair manner using a theoretical framework to support the multiparty interaction model. Our algorithm does not require to transform the source code to the processes that compose the system; furthermore, it can deal with both terminating and non-terminating processes." @default.
- W1767410020 created "2016-06-24" @default.
- W1767410020 creator A5013637831 @default.
- W1767410020 creator A5019576111 @default.
- W1767410020 creator A5024884892 @default.
- W1767410020 creator A5057698424 @default.
- W1767410020 date "2002-01-01" @default.
- W1767410020 modified "2023-09-29" @default.
- W1767410020 title "An Algorithm for Ensuring Fairness and Liveness in Non-deterministic Systems Based on Multiparty Interactions" @default.
- W1767410020 cites W1574927053 @default.
- W1767410020 cites W2000589007 @default.
- W1767410020 cites W2038871152 @default.
- W1767410020 cites W2060756643 @default.
- W1767410020 cites W2067860865 @default.
- W1767410020 cites W206960777 @default.
- W1767410020 cites W2155890138 @default.
- W1767410020 cites W2296540112 @default.
- W1767410020 cites W4240126131 @default.
- W1767410020 doi "https://doi.org/10.1007/3-540-45706-2_77" @default.
- W1767410020 hasPublicationYear "2002" @default.
- W1767410020 type Work @default.
- W1767410020 sameAs 1767410020 @default.
- W1767410020 citedByCount "3" @default.
- W1767410020 crossrefType "book-chapter" @default.
- W1767410020 hasAuthorship W1767410020A5013637831 @default.
- W1767410020 hasAuthorship W1767410020A5019576111 @default.
- W1767410020 hasAuthorship W1767410020A5024884892 @default.
- W1767410020 hasAuthorship W1767410020A5057698424 @default.
- W1767410020 hasBestOaLocation W17674100201 @default.
- W1767410020 hasConcept C111472728 @default.
- W1767410020 hasConcept C11413529 @default.
- W1767410020 hasConcept C120314980 @default.
- W1767410020 hasConcept C126255220 @default.
- W1767410020 hasConcept C138885662 @default.
- W1767410020 hasConcept C15569618 @default.
- W1767410020 hasConcept C177264268 @default.
- W1767410020 hasConcept C17744445 @default.
- W1767410020 hasConcept C199360897 @default.
- W1767410020 hasConcept C199539241 @default.
- W1767410020 hasConcept C200288055 @default.
- W1767410020 hasConcept C206729178 @default.
- W1767410020 hasConcept C33923547 @default.
- W1767410020 hasConcept C41008148 @default.
- W1767410020 hasConcept C75553542 @default.
- W1767410020 hasConcept C80444323 @default.
- W1767410020 hasConceptScore W1767410020C111472728 @default.
- W1767410020 hasConceptScore W1767410020C11413529 @default.
- W1767410020 hasConceptScore W1767410020C120314980 @default.
- W1767410020 hasConceptScore W1767410020C126255220 @default.
- W1767410020 hasConceptScore W1767410020C138885662 @default.
- W1767410020 hasConceptScore W1767410020C15569618 @default.
- W1767410020 hasConceptScore W1767410020C177264268 @default.
- W1767410020 hasConceptScore W1767410020C17744445 @default.
- W1767410020 hasConceptScore W1767410020C199360897 @default.
- W1767410020 hasConceptScore W1767410020C199539241 @default.
- W1767410020 hasConceptScore W1767410020C200288055 @default.
- W1767410020 hasConceptScore W1767410020C206729178 @default.
- W1767410020 hasConceptScore W1767410020C33923547 @default.
- W1767410020 hasConceptScore W1767410020C41008148 @default.
- W1767410020 hasConceptScore W1767410020C75553542 @default.
- W1767410020 hasConceptScore W1767410020C80444323 @default.
- W1767410020 hasLocation W17674100201 @default.
- W1767410020 hasLocation W17674100202 @default.
- W1767410020 hasOpenAccess W1767410020 @default.
- W1767410020 hasPrimaryLocation W17674100201 @default.
- W1767410020 hasRelatedWork W1485627940 @default.
- W1767410020 hasRelatedWork W1596201972 @default.
- W1767410020 hasRelatedWork W1882733036 @default.
- W1767410020 hasRelatedWork W1992741870 @default.
- W1767410020 hasRelatedWork W2104033473 @default.
- W1767410020 hasRelatedWork W2152433827 @default.
- W1767410020 hasRelatedWork W2160425906 @default.
- W1767410020 hasRelatedWork W2546696010 @default.
- W1767410020 hasRelatedWork W2950969551 @default.
- W1767410020 hasRelatedWork W4241086586 @default.
- W1767410020 isParatext "false" @default.
- W1767410020 isRetracted "false" @default.
- W1767410020 magId "1767410020" @default.
- W1767410020 workType "book-chapter" @default.