Matches in SemOpenAlex for { <https://semopenalex.org/work/W2478478319> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2478478319 endingPage "515" @default.
- W2478478319 startingPage "499" @default.
- W2478478319 abstract "We study the model checking problem of parameterised systems with an arbitrary number of processes, on arbitrary network-graphs, communicating using multiple multi-valued tokens, and specifications from indexed-branching temporal logic. We prove a composition theorem, in the spirit of Feferman-Vaught [21] and Shelah [31], and a finiteness theorem, and use these to decide the model checking problem. Our results assume two constraints on the process templates, one of which is the standard fairness assumption introduced in the cornerstone paper of Emerson and Namjoshi [18]. We prove that lifting any of these constraints results in undecidability. The importance of our work is three-fold: i it demonstrates that the composition method can be fruitfully applied to model checking complex parameterised systems; ii it identifies the most powerful model, to date, of parameterised systems for which model checking indexed branching-time specifications is decidable; iii it tightly marks the borders of decidability of this model." @default.
- W2478478319 created "2016-08-23" @default.
- W2478478319 creator A5000922082 @default.
- W2478478319 creator A5061045932 @default.
- W2478478319 date "2016-01-01" @default.
- W2478478319 modified "2023-09-26" @default.
- W2478478319 title "Model Checking Parameterised Multi-token Systems via the Composition Method" @default.
- W2478478319 cites W1495032777 @default.
- W2478478319 cites W1509819701 @default.
- W2478478319 cites W1511526676 @default.
- W2478478319 cites W1517752490 @default.
- W2478478319 cites W1536783297 @default.
- W2478478319 cites W1598659274 @default.
- W2478478319 cites W1918351269 @default.
- W2478478319 cites W1982900911 @default.
- W2478478319 cites W1985091167 @default.
- W2478478319 cites W1992996044 @default.
- W2478478319 cites W2028113097 @default.
- W2478478319 cites W2036526834 @default.
- W2478478319 cites W2062792526 @default.
- W2478478319 cites W2066611459 @default.
- W2478478319 cites W2105348917 @default.
- W2478478319 cites W2109318253 @default.
- W2478478319 cites W2109943697 @default.
- W2478478319 cites W2129073086 @default.
- W2478478319 cites W2147269402 @default.
- W2478478319 cites W2162786453 @default.
- W2478478319 cites W2206615804 @default.
- W2478478319 cites W2264618208 @default.
- W2478478319 cites W2296248291 @default.
- W2478478319 cites W2735546981 @default.
- W2478478319 cites W4205548579 @default.
- W2478478319 doi "https://doi.org/10.1007/978-3-319-40229-1_34" @default.
- W2478478319 hasPublicationYear "2016" @default.
- W2478478319 type Work @default.
- W2478478319 sameAs 2478478319 @default.
- W2478478319 citedByCount "4" @default.
- W2478478319 countsByYear W24784783192017 @default.
- W2478478319 countsByYear W24784783192021 @default.
- W2478478319 countsByYear W24784783192022 @default.
- W2478478319 crossrefType "book-chapter" @default.
- W2478478319 hasAuthorship W2478478319A5000922082 @default.
- W2478478319 hasAuthorship W2478478319A5061045932 @default.
- W2478478319 hasBestOaLocation W24784783192 @default.
- W2478478319 hasConcept C120314980 @default.
- W2478478319 hasConcept C138885662 @default.
- W2478478319 hasConcept C31258907 @default.
- W2478478319 hasConcept C40231798 @default.
- W2478478319 hasConcept C41008148 @default.
- W2478478319 hasConcept C41895202 @default.
- W2478478319 hasConcept C48145219 @default.
- W2478478319 hasConcept C80444323 @default.
- W2478478319 hasConceptScore W2478478319C120314980 @default.
- W2478478319 hasConceptScore W2478478319C138885662 @default.
- W2478478319 hasConceptScore W2478478319C31258907 @default.
- W2478478319 hasConceptScore W2478478319C40231798 @default.
- W2478478319 hasConceptScore W2478478319C41008148 @default.
- W2478478319 hasConceptScore W2478478319C41895202 @default.
- W2478478319 hasConceptScore W2478478319C48145219 @default.
- W2478478319 hasConceptScore W2478478319C80444323 @default.
- W2478478319 hasLocation W24784783191 @default.
- W2478478319 hasLocation W24784783192 @default.
- W2478478319 hasOpenAccess W2478478319 @default.
- W2478478319 hasPrimaryLocation W24784783191 @default.
- W2478478319 hasRelatedWork W1485627940 @default.
- W2478478319 hasRelatedWork W1587227328 @default.
- W2478478319 hasRelatedWork W1596201972 @default.
- W2478478319 hasRelatedWork W1880774266 @default.
- W2478478319 hasRelatedWork W1967954938 @default.
- W2478478319 hasRelatedWork W2123996664 @default.
- W2478478319 hasRelatedWork W2160425906 @default.
- W2478478319 hasRelatedWork W2375389409 @default.
- W2478478319 hasRelatedWork W2488051804 @default.
- W2478478319 hasRelatedWork W2998813341 @default.
- W2478478319 isParatext "false" @default.
- W2478478319 isRetracted "false" @default.
- W2478478319 magId "2478478319" @default.
- W2478478319 workType "book-chapter" @default.