Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116559492> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2116559492 abstract "RoCTL* was proposed to model robustness in concurrent systems. RoCTL* extended CTL* with the addition of obligatory and robustly operators, which quantify over failure-free paths and paths with one more failure respectively. Whether RoCTL* is more expressive than CTL* has remained an open problem since the RoCTL* logic was proposed. We use the equivalence of LTL to counter-free automata to show that RoCTL* is expressively equivalent to CTL*; the translation to CTL* provides the first model checking procedure for RoCTL*. However, we show that RoCTL* is relatively succinct as all satisfaction preserving translations into CTL* are non-elementary in length." @default.
- W2116559492 created "2016-06-24" @default.
- W2116559492 creator A5016050623 @default.
- W2116559492 creator A5030763134 @default.
- W2116559492 creator A5036930915 @default.
- W2116559492 creator A5045320227 @default.
- W2116559492 date "2009-07-01" @default.
- W2116559492 modified "2023-10-10" @default.
- W2116559492 title "On the Expressivity of RoCTL*" @default.
- W2116559492 cites W1485377267 @default.
- W2116559492 cites W1568806456 @default.
- W2116559492 cites W1809956864 @default.
- W2116559492 cites W2005998857 @default.
- W2116559492 cites W2069749521 @default.
- W2116559492 cites W2084522115 @default.
- W2116559492 cites W2087718129 @default.
- W2116559492 cites W2112535338 @default.
- W2116559492 cites W2116559492 @default.
- W2116559492 cites W2117189826 @default.
- W2116559492 cites W2170933628 @default.
- W2116559492 doi "https://doi.org/10.1109/time.2009.13" @default.
- W2116559492 hasPublicationYear "2009" @default.
- W2116559492 type Work @default.
- W2116559492 sameAs 2116559492 @default.
- W2116559492 citedByCount "5" @default.
- W2116559492 countsByYear W21165594922013 @default.
- W2116559492 countsByYear W21165594922014 @default.
- W2116559492 crossrefType "proceedings-article" @default.
- W2116559492 hasAuthorship W2116559492A5016050623 @default.
- W2116559492 hasAuthorship W2116559492A5030763134 @default.
- W2116559492 hasAuthorship W2116559492A5036930915 @default.
- W2116559492 hasAuthorship W2116559492A5045320227 @default.
- W2116559492 hasConcept C104317684 @default.
- W2116559492 hasConcept C110251889 @default.
- W2116559492 hasConcept C112505250 @default.
- W2116559492 hasConcept C11413529 @default.
- W2116559492 hasConcept C118615104 @default.
- W2116559492 hasConcept C147969180 @default.
- W2116559492 hasConcept C167672396 @default.
- W2116559492 hasConcept C185592680 @default.
- W2116559492 hasConcept C198008173 @default.
- W2116559492 hasConcept C203014093 @default.
- W2116559492 hasConcept C25016198 @default.
- W2116559492 hasConcept C2780069185 @default.
- W2116559492 hasConcept C33923547 @default.
- W2116559492 hasConcept C41008148 @default.
- W2116559492 hasConcept C55493867 @default.
- W2116559492 hasConcept C63479239 @default.
- W2116559492 hasConcept C80444323 @default.
- W2116559492 hasConcept C86803240 @default.
- W2116559492 hasConcept C8891405 @default.
- W2116559492 hasConceptScore W2116559492C104317684 @default.
- W2116559492 hasConceptScore W2116559492C110251889 @default.
- W2116559492 hasConceptScore W2116559492C112505250 @default.
- W2116559492 hasConceptScore W2116559492C11413529 @default.
- W2116559492 hasConceptScore W2116559492C118615104 @default.
- W2116559492 hasConceptScore W2116559492C147969180 @default.
- W2116559492 hasConceptScore W2116559492C167672396 @default.
- W2116559492 hasConceptScore W2116559492C185592680 @default.
- W2116559492 hasConceptScore W2116559492C198008173 @default.
- W2116559492 hasConceptScore W2116559492C203014093 @default.
- W2116559492 hasConceptScore W2116559492C25016198 @default.
- W2116559492 hasConceptScore W2116559492C2780069185 @default.
- W2116559492 hasConceptScore W2116559492C33923547 @default.
- W2116559492 hasConceptScore W2116559492C41008148 @default.
- W2116559492 hasConceptScore W2116559492C55493867 @default.
- W2116559492 hasConceptScore W2116559492C63479239 @default.
- W2116559492 hasConceptScore W2116559492C80444323 @default.
- W2116559492 hasConceptScore W2116559492C86803240 @default.
- W2116559492 hasConceptScore W2116559492C8891405 @default.
- W2116559492 hasLocation W21165594921 @default.
- W2116559492 hasOpenAccess W2116559492 @default.
- W2116559492 hasPrimaryLocation W21165594921 @default.
- W2116559492 hasRelatedWork W14017695 @default.
- W2116559492 hasRelatedWork W146107827 @default.
- W2116559492 hasRelatedWork W1551070491 @default.
- W2116559492 hasRelatedWork W2063465696 @default.
- W2116559492 hasRelatedWork W2095002986 @default.
- W2116559492 hasRelatedWork W2103740034 @default.
- W2116559492 hasRelatedWork W2203774400 @default.
- W2116559492 hasRelatedWork W2234073770 @default.
- W2116559492 hasRelatedWork W2381825341 @default.
- W2116559492 hasRelatedWork W2753745283 @default.
- W2116559492 isParatext "false" @default.
- W2116559492 isRetracted "false" @default.
- W2116559492 magId "2116559492" @default.
- W2116559492 workType "article" @default.