Matches in SemOpenAlex for { <https://semopenalex.org/work/W3208934118> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W3208934118 endingPage "66" @default.
- W3208934118 startingPage "52" @default.
- W3208934118 abstract "We study two liveness verification problems for broadcast networks, a system model of identical clients communicating via message passing. The first problem is liveness verification. It asks whether there is a computation such that one of the clients visits a final state infinitely often. The complexity of the problem has been open since 2010 when it was shown to be (mathsf{P})-hard and solvable in (mathsf{EXPSPACE}). We close the gap by a polynomial-time algorithm. The algorithm relies on a characterization of live computations in terms of paths in a suitable graph, combined with a fixed-point iteration to efficiently check the existence of such paths. The second problem is fair liveness verification. It asks for a computation where all participating clients visit a final state infinitely often. We adjust the algorithm to also solve fair liveness in polynomial time." @default.
- W3208934118 created "2021-11-08" @default.
- W3208934118 creator A5045638191 @default.
- W3208934118 creator A5073115152 @default.
- W3208934118 creator A5085643838 @default.
- W3208934118 date "2019-01-01" @default.
- W3208934118 modified "2023-09-24" @default.
- W3208934118 title "Liveness in Broadcast Networks" @default.
- W3208934118 cites W1492268120 @default.
- W3208934118 cites W1504065323 @default.
- W3208934118 cites W150837278 @default.
- W3208934118 cites W1514415753 @default.
- W3208934118 cites W1520747973 @default.
- W3208934118 cites W152809744 @default.
- W3208934118 cites W1531224936 @default.
- W3208934118 cites W1552190776 @default.
- W3208934118 cites W1575128990 @default.
- W3208934118 cites W1604885057 @default.
- W3208934118 cites W1605302571 @default.
- W3208934118 cites W1650107222 @default.
- W3208934118 cites W1851906033 @default.
- W3208934118 cites W2023808162 @default.
- W3208934118 cites W2054801208 @default.
- W3208934118 cites W2147269402 @default.
- W3208934118 cites W2149493230 @default.
- W3208934118 cites W2165678589 @default.
- W3208934118 cites W2228235215 @default.
- W3208934118 cites W2344785730 @default.
- W3208934118 cites W2761734916 @default.
- W3208934118 cites W295713323 @default.
- W3208934118 cites W2963905449 @default.
- W3208934118 cites W2964160499 @default.
- W3208934118 cites W2999609829 @default.
- W3208934118 cites W4300743836 @default.
- W3208934118 cites W80629733 @default.
- W3208934118 doi "https://doi.org/10.1007/978-3-030-31277-0_4" @default.
- W3208934118 hasPublicationYear "2019" @default.
- W3208934118 type Work @default.
- W3208934118 sameAs 3208934118 @default.
- W3208934118 citedByCount "7" @default.
- W3208934118 countsByYear W32089341182019 @default.
- W3208934118 countsByYear W32089341182021 @default.
- W3208934118 countsByYear W32089341182022 @default.
- W3208934118 crossrefType "book-chapter" @default.
- W3208934118 hasAuthorship W3208934118A5045638191 @default.
- W3208934118 hasAuthorship W3208934118A5073115152 @default.
- W3208934118 hasAuthorship W3208934118A5085643838 @default.
- W3208934118 hasBestOaLocation W32089341182 @default.
- W3208934118 hasConcept C120314980 @default.
- W3208934118 hasConcept C15569618 @default.
- W3208934118 hasConcept C31258907 @default.
- W3208934118 hasConcept C41008148 @default.
- W3208934118 hasConceptScore W3208934118C120314980 @default.
- W3208934118 hasConceptScore W3208934118C15569618 @default.
- W3208934118 hasConceptScore W3208934118C31258907 @default.
- W3208934118 hasConceptScore W3208934118C41008148 @default.
- W3208934118 hasLocation W32089341181 @default.
- W3208934118 hasLocation W32089341182 @default.
- W3208934118 hasOpenAccess W3208934118 @default.
- W3208934118 hasPrimaryLocation W32089341181 @default.
- W3208934118 hasRelatedWork W1492584664 @default.
- W3208934118 hasRelatedWork W1500751360 @default.
- W3208934118 hasRelatedWork W1503426638 @default.
- W3208934118 hasRelatedWork W1564169401 @default.
- W3208934118 hasRelatedWork W1568496998 @default.
- W3208934118 hasRelatedWork W2330165697 @default.
- W3208934118 hasRelatedWork W2497508572 @default.
- W3208934118 hasRelatedWork W2796393251 @default.
- W3208934118 hasRelatedWork W3042342715 @default.
- W3208934118 hasRelatedWork W39172287 @default.
- W3208934118 isParatext "false" @default.
- W3208934118 isRetracted "false" @default.
- W3208934118 magId "3208934118" @default.
- W3208934118 workType "book-chapter" @default.