FRINK Linked Data Fragments server

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

• W2997017553 endingPage "32" @default.
• W2997017553 startingPage "1" @default.
• W2997017553 abstract "In this article, we introduce and investigate an extension of Halpern and Shoham’s interval temporal logic HS for the specification and verification of branching-time context-free requirements of pushdown systems under a state-based semantics over Kripke structures enforcing visibility of the pushdown operations. The proposed logic, called nested BHS , supports branching-time both in the past and in the future and is able to express non-regular properties of linear and branching behaviours of procedural contexts in a natural way. It strictly subsumes well-known linear time context-free extensions of LTL such as CaRet [ 4 ] and NWTL [ 2 ]. The main result is the decidability of the visibly pushdown model-checking problem against nested BHS . The proof exploits a non-trivial automata-theoretic construction." @default.
• W2997017553 created "2020-01-10" @default.
• W2997017553 creator A5000697088 @default.
• W2997017553 creator A5015702335 @default.
• W2997017553 creator A5086034910 @default.
• W2997017553 date "2023-04-17" @default.
• W2997017553 modified "2023-10-16" @default.
• W2997017553 title "Interval Temporal Logic for Visibly Pushdown Systems" @default.
• W2997017553 cites W1503784010 @default.
• W2997017553 cites W1556566737 @default.
• W2997017553 cites W1589224558 @default.
• W2997017553 cites W1786588788 @default.
• W2997017553 cites W19621713 @default.
• W2997017553 cites W1970275850 @default.
• W2997017553 cites W1978654873 @default.
• W2997017553 cites W2004306067 @default.
• W2997017553 cites W2004536649 @default.
• W2997017553 cites W2007939755 @default.
• W2997017553 cites W2011132281 @default.
• W2997017553 cites W2023808162 @default.
• W2997017553 cites W2083861746 @default.
• W2997017553 cites W2092229972 @default.
• W2997017553 cites W2131886132 @default.
• W2997017553 cites W2151033407 @default.
• W2997017553 cites W2151129888 @default.
• W2997017553 cites W2155627592 @default.
• W2997017553 cites W2161484642 @default.
• W2997017553 cites W2260626089 @default.
• W2997017553 cites W2293667833 @default.
• W2997017553 cites W2336535781 @default.
• W2997017553 cites W2593997315 @default.
• W2997017553 cites W260642817 @default.
• W2997017553 cites W2753745283 @default.
• W2997017553 cites W2891153460 @default.
• W2997017553 cites W2911298563 @default.
• W2997017553 cites W2922221412 @default.
• W2997017553 cites W2952938415 @default.
• W2997017553 cites W2996647646 @default.
• W2997017553 cites W4205877761 @default.
• W2997017553 cites W4288601052 @default.
• W2997017553 doi "https://doi.org/10.1145/3583756" @default.
• W2997017553 hasPublicationYear "2023" @default.
• W2997017553 type Work @default.
• W2997017553 sameAs 2997017553 @default.
• W2997017553 citedByCount "0" @default.
• W2997017553 crossrefType "journal-article" @default.
• W2997017553 hasAuthorship W2997017553A5000697088 @default.
• W2997017553 hasAuthorship W2997017553A5015702335 @default.
• W2997017553 hasAuthorship W2997017553A5086034910 @default.
• W2997017553 hasBestOaLocation W29970175531 @default.
• W2997017553 hasConcept C110251889 @default.
• W2997017553 hasConcept C112505250 @default.
• W2997017553 hasConcept C116248031 @default.
• W2997017553 hasConcept C118615104 @default.
• W2997017553 hasConcept C134083981 @default.
• W2997017553 hasConcept C153269930 @default.
• W2997017553 hasConcept C158008952 @default.
• W2997017553 hasConcept C159985019 @default.
• W2997017553 hasConcept C162670838 @default.
• W2997017553 hasConcept C185592680 @default.
• W2997017553 hasConcept C186644900 @default.
• W2997017553 hasConcept C188027245 @default.
• W2997017553 hasConcept C192562407 @default.
• W2997017553 hasConcept C198008173 @default.
• W2997017553 hasConcept C199360897 @default.
• W2997017553 hasConcept C206175624 @default.
• W2997017553 hasConcept C25016198 @default.
• W2997017553 hasConcept C27034413 @default.
• W2997017553 hasConcept C27508121 @default.
• W2997017553 hasConcept C33923547 @default.
• W2997017553 hasConcept C41008148 @default.
• W2997017553 hasConcept C4777664 @default.
• W2997017553 hasConcept C71139939 @default.
• W2997017553 hasConcept C74919329 @default.
• W2997017553 hasConcept C77944639 @default.
• W2997017553 hasConcept C80444323 @default.
• W2997017553 hasConcept C97212296 @default.
• W2997017553 hasConceptScore W2997017553C110251889 @default.
• W2997017553 hasConceptScore W2997017553C112505250 @default.
• W2997017553 hasConceptScore W2997017553C116248031 @default.
• W2997017553 hasConceptScore W2997017553C118615104 @default.
• W2997017553 hasConceptScore W2997017553C134083981 @default.
• W2997017553 hasConceptScore W2997017553C153269930 @default.
• W2997017553 hasConceptScore W2997017553C158008952 @default.
• W2997017553 hasConceptScore W2997017553C159985019 @default.
• W2997017553 hasConceptScore W2997017553C162670838 @default.
• W2997017553 hasConceptScore W2997017553C185592680 @default.
• W2997017553 hasConceptScore W2997017553C186644900 @default.
• W2997017553 hasConceptScore W2997017553C188027245 @default.
• W2997017553 hasConceptScore W2997017553C192562407 @default.
• W2997017553 hasConceptScore W2997017553C198008173 @default.
• W2997017553 hasConceptScore W2997017553C199360897 @default.
• W2997017553 hasConceptScore W2997017553C206175624 @default.
• W2997017553 hasConceptScore W2997017553C25016198 @default.
• W2997017553 hasConceptScore W2997017553C27034413 @default.
• W2997017553 hasConceptScore W2997017553C27508121 @default.
• W2997017553 hasConceptScore W2997017553C33923547 @default.
• W2997017553 hasConceptScore W2997017553C41008148 @default.

• next