Matches in SemOpenAlex for { <https://semopenalex.org/work/W1496266986> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1496266986 endingPage "295" @default.
- W1496266986 startingPage "281" @default.
- W1496266986 abstract "AbstractIn this paper, we present a class of infinite transition systems which is an extension of pushdown systems (PDS), and show that LTL (linear temporal logic) model checking for the class is decidable. Since the class is defined as a subclass of term rewriting systems, pushdown stack of PDS is naturally extended to tree structure. By this extension, we can model recursive programs with exception handling.KeywordsModel CheckTransitive ClosureLinear Temporal LogicException HandlingTree AutomatonThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1496266986 created "2016-06-24" @default.
- W1496266986 creator A5018228908 @default.
- W1496266986 creator A5043127039 @default.
- W1496266986 date "2003-01-01" @default.
- W1496266986 modified "2023-09-27" @default.
- W1496266986 title "An Extension of Pushdown System and Its Model Checking Method" @default.
- W1496266986 cites W1491036809 @default.
- W1496266986 cites W1496266986 @default.
- W1496266986 cites W1497581330 @default.
- W1496266986 cites W1514446453 @default.
- W1496266986 cites W1566807398 @default.
- W1496266986 cites W1587932751 @default.
- W1496266986 cites W1782998868 @default.
- W1496266986 cites W1827592073 @default.
- W1496266986 cites W1876811344 @default.
- W1496266986 cites W1974542856 @default.
- W1496266986 cites W2006265470 @default.
- W1496266986 cites W2027499684 @default.
- W1496266986 cites W2060253795 @default.
- W1496266986 cites W2072041493 @default.
- W1496266986 cites W2135274583 @default.
- W1496266986 cites W260642817 @default.
- W1496266986 cites W4229692082 @default.
- W1496266986 cites W4230919050 @default.
- W1496266986 doi "https://doi.org/10.1007/978-3-540-45187-7_19" @default.
- W1496266986 hasPublicationYear "2003" @default.
- W1496266986 type Work @default.
- W1496266986 sameAs 1496266986 @default.
- W1496266986 citedByCount "2" @default.
- W1496266986 crossrefType "book-chapter" @default.
- W1496266986 hasAuthorship W1496266986A5018228908 @default.
- W1496266986 hasAuthorship W1496266986A5043127039 @default.
- W1496266986 hasConcept C110251889 @default.
- W1496266986 hasConcept C112505250 @default.
- W1496266986 hasConcept C11413529 @default.
- W1496266986 hasConcept C116248031 @default.
- W1496266986 hasConcept C118615104 @default.
- W1496266986 hasConcept C134083981 @default.
- W1496266986 hasConcept C153269930 @default.
- W1496266986 hasConcept C154690210 @default.
- W1496266986 hasConcept C154945302 @default.
- W1496266986 hasConcept C158008952 @default.
- W1496266986 hasConcept C186644900 @default.
- W1496266986 hasConcept C199360897 @default.
- W1496266986 hasConcept C25016198 @default.
- W1496266986 hasConcept C27034413 @default.
- W1496266986 hasConcept C2777212361 @default.
- W1496266986 hasConcept C2778029271 @default.
- W1496266986 hasConcept C33923547 @default.
- W1496266986 hasConcept C41008148 @default.
- W1496266986 hasConcept C4777664 @default.
- W1496266986 hasConcept C74919329 @default.
- W1496266986 hasConcept C77944639 @default.
- W1496266986 hasConcept C80444323 @default.
- W1496266986 hasConcept C97212296 @default.
- W1496266986 hasConceptScore W1496266986C110251889 @default.
- W1496266986 hasConceptScore W1496266986C112505250 @default.
- W1496266986 hasConceptScore W1496266986C11413529 @default.
- W1496266986 hasConceptScore W1496266986C116248031 @default.
- W1496266986 hasConceptScore W1496266986C118615104 @default.
- W1496266986 hasConceptScore W1496266986C134083981 @default.
- W1496266986 hasConceptScore W1496266986C153269930 @default.
- W1496266986 hasConceptScore W1496266986C154690210 @default.
- W1496266986 hasConceptScore W1496266986C154945302 @default.
- W1496266986 hasConceptScore W1496266986C158008952 @default.
- W1496266986 hasConceptScore W1496266986C186644900 @default.
- W1496266986 hasConceptScore W1496266986C199360897 @default.
- W1496266986 hasConceptScore W1496266986C25016198 @default.
- W1496266986 hasConceptScore W1496266986C27034413 @default.
- W1496266986 hasConceptScore W1496266986C2777212361 @default.
- W1496266986 hasConceptScore W1496266986C2778029271 @default.
- W1496266986 hasConceptScore W1496266986C33923547 @default.
- W1496266986 hasConceptScore W1496266986C41008148 @default.
- W1496266986 hasConceptScore W1496266986C4777664 @default.
- W1496266986 hasConceptScore W1496266986C74919329 @default.
- W1496266986 hasConceptScore W1496266986C77944639 @default.
- W1496266986 hasConceptScore W1496266986C80444323 @default.
- W1496266986 hasConceptScore W1496266986C97212296 @default.
- W1496266986 hasLocation W14962669861 @default.
- W1496266986 hasOpenAccess W1496266986 @default.
- W1496266986 hasPrimaryLocation W14962669861 @default.
- W1496266986 hasRelatedWork W1496266986 @default.
- W1496266986 hasRelatedWork W1543261728 @default.
- W1496266986 hasRelatedWork W1556566737 @default.
- W1496266986 hasRelatedWork W1594689556 @default.
- W1496266986 hasRelatedWork W1600588018 @default.
- W1496266986 hasRelatedWork W1758177211 @default.
- W1496266986 hasRelatedWork W1864036814 @default.
- W1496266986 hasRelatedWork W2081369054 @default.
- W1496266986 hasRelatedWork W2887835352 @default.
- W1496266986 hasRelatedWork W2971834608 @default.
- W1496266986 isParatext "false" @default.
- W1496266986 isRetracted "false" @default.
- W1496266986 magId "1496266986" @default.
- W1496266986 workType "book-chapter" @default.