Matches in SemOpenAlex for { <https://semopenalex.org/work/W2521752642> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2521752642 abstract "Systems analysis is becoming more and more important in different fields such as network applications, communication protocols and client server applications. This importance is seen from the fact that these systems are faced to specific errors like deadlocks and livelocks which may in the major cases cause disasters. In this context, model checking is a promising formal method which permits systems analysis at early stage, thus ensuring prevention from errors occurring. In this paper, we propose an extension of timed temporal logic TCTL with more powerful modalities called (TCTL^{varDelta }_{h}). This logic permits to combine in the same property clocks quantifiers as well as features for transient states. We formally define the syntax and the semantics of the proposed quantitative logic and we show via examples its expressive power." @default.
- W2521752642 created "2016-09-30" @default.
- W2521752642 creator A5013770247 @default.
- W2521752642 creator A5050443319 @default.
- W2521752642 creator A5078933217 @default.
- W2521752642 date "2016-01-01" @default.
- W2521752642 modified "2023-09-26" @default.
- W2521752642 title "On Expressiveness of TCTL $$^{varDelta }_{h}$$ for Model Checking Distributed Systems" @default.
- W2521752642 cites W1778175466 @default.
- W2521752642 cites W1900558419 @default.
- W2521752642 cites W1981808971 @default.
- W2521752642 cites W2030263557 @default.
- W2521752642 cites W2051068608 @default.
- W2521752642 cites W2056081080 @default.
- W2521752642 cites W2101508170 @default.
- W2521752642 cites W2106692345 @default.
- W2521752642 cites W2114606107 @default.
- W2521752642 cites W2124778357 @default.
- W2521752642 cites W2128993334 @default.
- W2521752642 cites W3103084107 @default.
- W2521752642 doi "https://doi.org/10.1007/978-3-319-45243-2_30" @default.
- W2521752642 hasPublicationYear "2016" @default.
- W2521752642 type Work @default.
- W2521752642 sameAs 2521752642 @default.
- W2521752642 citedByCount "3" @default.
- W2521752642 countsByYear W25217526422018 @default.
- W2521752642 crossrefType "book-chapter" @default.
- W2521752642 hasAuthorship W2521752642A5013770247 @default.
- W2521752642 hasAuthorship W2521752642A5050443319 @default.
- W2521752642 hasAuthorship W2521752642A5078933217 @default.
- W2521752642 hasConcept C110251889 @default.
- W2521752642 hasConcept C111498074 @default.
- W2521752642 hasConcept C11413529 @default.
- W2521752642 hasConcept C151730666 @default.
- W2521752642 hasConcept C184337299 @default.
- W2521752642 hasConcept C185592680 @default.
- W2521752642 hasConcept C188027245 @default.
- W2521752642 hasConcept C195818886 @default.
- W2521752642 hasConcept C199360897 @default.
- W2521752642 hasConcept C25016198 @default.
- W2521752642 hasConcept C27508121 @default.
- W2521752642 hasConcept C2779343474 @default.
- W2521752642 hasConcept C2780799671 @default.
- W2521752642 hasConcept C38677869 @default.
- W2521752642 hasConcept C41008148 @default.
- W2521752642 hasConcept C71139939 @default.
- W2521752642 hasConcept C80444323 @default.
- W2521752642 hasConcept C86803240 @default.
- W2521752642 hasConceptScore W2521752642C110251889 @default.
- W2521752642 hasConceptScore W2521752642C111498074 @default.
- W2521752642 hasConceptScore W2521752642C11413529 @default.
- W2521752642 hasConceptScore W2521752642C151730666 @default.
- W2521752642 hasConceptScore W2521752642C184337299 @default.
- W2521752642 hasConceptScore W2521752642C185592680 @default.
- W2521752642 hasConceptScore W2521752642C188027245 @default.
- W2521752642 hasConceptScore W2521752642C195818886 @default.
- W2521752642 hasConceptScore W2521752642C199360897 @default.
- W2521752642 hasConceptScore W2521752642C25016198 @default.
- W2521752642 hasConceptScore W2521752642C27508121 @default.
- W2521752642 hasConceptScore W2521752642C2779343474 @default.
- W2521752642 hasConceptScore W2521752642C2780799671 @default.
- W2521752642 hasConceptScore W2521752642C38677869 @default.
- W2521752642 hasConceptScore W2521752642C41008148 @default.
- W2521752642 hasConceptScore W2521752642C71139939 @default.
- W2521752642 hasConceptScore W2521752642C80444323 @default.
- W2521752642 hasConceptScore W2521752642C86803240 @default.
- W2521752642 hasLocation W25217526421 @default.
- W2521752642 hasOpenAccess W2521752642 @default.
- W2521752642 hasPrimaryLocation W25217526421 @default.
- W2521752642 hasRelatedWork W1485923102 @default.
- W2521752642 hasRelatedWork W1501207415 @default.
- W2521752642 hasRelatedWork W166614165 @default.
- W2521752642 hasRelatedWork W2008239401 @default.
- W2521752642 hasRelatedWork W2019810307 @default.
- W2521752642 hasRelatedWork W2051073429 @default.
- W2521752642 hasRelatedWork W2061769887 @default.
- W2521752642 hasRelatedWork W2098818037 @default.
- W2521752642 hasRelatedWork W2098839858 @default.
- W2521752642 hasRelatedWork W2110496251 @default.
- W2521752642 hasRelatedWork W2203316784 @default.
- W2521752642 hasRelatedWork W2296230717 @default.
- W2521752642 hasRelatedWork W2337896169 @default.
- W2521752642 hasRelatedWork W2395041304 @default.
- W2521752642 hasRelatedWork W2477338659 @default.
- W2521752642 hasRelatedWork W26992193 @default.
- W2521752642 hasRelatedWork W2751326373 @default.
- W2521752642 hasRelatedWork W2804435447 @default.
- W2521752642 hasRelatedWork W32272137 @default.
- W2521752642 hasRelatedWork W2120006639 @default.
- W2521752642 isParatext "false" @default.
- W2521752642 isRetracted "false" @default.
- W2521752642 magId "2521752642" @default.
- W2521752642 workType "book-chapter" @default.