FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017872109> ?p ?o ?g. }

• W2017872109 endingPage "90" @default.
• W2017872109 startingPage "71" @default.
• W2017872109 abstract "We consider the class of finite-state systems communicating through unbounded butlossyFIFO channels (calledlossy channel systems). These systems have infinite state spaces due to the unboundedness of the channels. In an earlier paper, we showed that the problems of checking reachability, safety properties, and eventuality properties are decidable for lossy channel systems. In this paper, we show that the following problems are undecidable: •The model checking problem in propositional temporal logics such as propositional linear time temporal logic (PTL) and computation tree logic (CTL). •The problem of deciding eventuality properties with fair channels: do all computations eventually reach a given set of states if the unreliable channels satisfy fairness assumptions ? The results are obtained through reduction from a variant of the Post correspondence problem." @default.
• W2017872109 created "2016-06-24" @default.
• W2017872109 creator A5002478680 @default.
• W2017872109 creator A5009514870 @default.
• W2017872109 date "1996-10-01" @default.
• W2017872109 modified "2023-10-18" @default.
• W2017872109 title "Undecidable Verification Problems for Programs with Unreliable Channels" @default.
• W2017872109 cites W1491196069 @default.
• W2017872109 cites W1504739534 @default.
• W2017872109 cites W1506588809 @default.
• W2017872109 cites W1529349649 @default.
• W2017872109 cites W1550523972 @default.
• W2017872109 cites W1552249698 @default.
• W2017872109 cites W1592689879 @default.
• W2017872109 cites W1598641851 @default.
• W2017872109 cites W1883453769 @default.
• W2017872109 cites W1964087553 @default.
• W2017872109 cites W1978358700 @default.
• W2017872109 cites W1980330971 @default.
• W2017872109 cites W1994564174 @default.
• W2017872109 cites W1997387389 @default.
• W2017872109 cites W2012001501 @default.
• W2017872109 cites W2017140475 @default.
• W2017872109 cites W2019881090 @default.
• W2017872109 cites W2025970201 @default.
• W2017872109 cites W2036526834 @default.
• W2017872109 cites W2042087007 @default.
• W2017872109 cites W2061438988 @default.
• W2017872109 cites W2065856581 @default.
• W2017872109 cites W2076508310 @default.
• W2017872109 cites W2106001218 @default.
• W2017872109 cites W2110697379 @default.
• W2017872109 cites W2117189826 @default.
• W2017872109 cites W2123160677 @default.
• W2017872109 cites W2153273838 @default.
• W2017872109 cites W2153439859 @default.
• W2017872109 cites W2164989576 @default.
• W2017872109 cites W2688386367 @default.
• W2017872109 cites W49167929 @default.
• W2017872109 doi "https://doi.org/10.1006/inco.1996.0083" @default.
• W2017872109 hasPublicationYear "1996" @default.
• W2017872109 type Work @default.
• W2017872109 sameAs 2017872109 @default.
• W2017872109 citedByCount "75" @default.
• W2017872109 countsByYear W20178721092012 @default.
• W2017872109 countsByYear W20178721092013 @default.
• W2017872109 countsByYear W20178721092014 @default.
• W2017872109 countsByYear W20178721092016 @default.
• W2017872109 countsByYear W20178721092021 @default.
• W2017872109 countsByYear W20178721092022 @default.
• W2017872109 countsByYear W20178721092023 @default.
• W2017872109 crossrefType "journal-article" @default.
• W2017872109 hasAuthorship W2017872109A5002478680 @default.
• W2017872109 hasAuthorship W2017872109A5009514870 @default.
• W2017872109 hasBestOaLocation W20178721091 @default.
• W2017872109 hasConcept C110251889 @default.
• W2017872109 hasConcept C111335779 @default.
• W2017872109 hasConcept C11413529 @default.
• W2017872109 hasConcept C115988155 @default.
• W2017872109 hasConcept C118615104 @default.
• W2017872109 hasConcept C127162648 @default.
• W2017872109 hasConcept C136643341 @default.
• W2017872109 hasConcept C153269930 @default.
• W2017872109 hasConcept C154945302 @default.
• W2017872109 hasConcept C177264268 @default.
• W2017872109 hasConcept C192034797 @default.
• W2017872109 hasConcept C198008173 @default.
• W2017872109 hasConcept C199360897 @default.
• W2017872109 hasConcept C24858836 @default.
• W2017872109 hasConcept C25016198 @default.
• W2017872109 hasConcept C2524010 @default.
• W2017872109 hasConcept C2777212361 @default.
• W2017872109 hasConcept C2777669093 @default.
• W2017872109 hasConcept C31258907 @default.
• W2017872109 hasConcept C33923547 @default.
• W2017872109 hasConcept C41008148 @default.
• W2017872109 hasConcept C45374587 @default.
• W2017872109 hasConcept C4777664 @default.
• W2017872109 hasConcept C48103436 @default.
• W2017872109 hasConcept C69562738 @default.
• W2017872109 hasConcept C80444323 @default.
• W2017872109 hasConceptScore W2017872109C110251889 @default.
• W2017872109 hasConceptScore W2017872109C111335779 @default.
• W2017872109 hasConceptScore W2017872109C11413529 @default.
• W2017872109 hasConceptScore W2017872109C115988155 @default.
• W2017872109 hasConceptScore W2017872109C118615104 @default.
• W2017872109 hasConceptScore W2017872109C127162648 @default.
• W2017872109 hasConceptScore W2017872109C136643341 @default.
• W2017872109 hasConceptScore W2017872109C153269930 @default.
• W2017872109 hasConceptScore W2017872109C154945302 @default.
• W2017872109 hasConceptScore W2017872109C177264268 @default.
• W2017872109 hasConceptScore W2017872109C192034797 @default.
• W2017872109 hasConceptScore W2017872109C198008173 @default.
• W2017872109 hasConceptScore W2017872109C199360897 @default.
• W2017872109 hasConceptScore W2017872109C24858836 @default.
• W2017872109 hasConceptScore W2017872109C25016198 @default.
• W2017872109 hasConceptScore W2017872109C2524010 @default.
• W2017872109 hasConceptScore W2017872109C2777212361 @default.

• next