Matches in SemOpenAlex for { <https://semopenalex.org/work/W1827579455> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1827579455 abstract "We have been studying abstractions of linked structures, in which cells are connected by pointers, using temporal logic. This paper presents some our results for these abstractions. The system to be verified is a transition system on a graph. The shape of the graph does not change as a result of the transition, but the label assigned to each cell (node) changes according to rewrite rules. The labels of cells are changed synchronously or asynchronously. We abstract such systems using abstract cells and abstract graphs. Abstract cells are characterized by a set of temporal formulas, and different abstractions can be tried by changing the set of formulas. Some examples of analysis are also described." @default.
- W1827579455 created "2016-06-24" @default.
- W1827579455 creator A5013350879 @default.
- W1827579455 creator A5015753190 @default.
- W1827579455 creator A5038139801 @default.
- W1827579455 creator A5057841233 @default.
- W1827579455 date "2004-01-01" @default.
- W1827579455 modified "2023-10-02" @default.
- W1827579455 title "Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic" @default.
- W1827579455 cites W1590315663 @default.
- W1827579455 cites W1991981864 @default.
- W1827579455 cites W2002128397 @default.
- W1827579455 cites W2124876285 @default.
- W1827579455 cites W2153439859 @default.
- W1827579455 cites W2295903414 @default.
- W1827579455 doi "https://doi.org/10.1007/978-3-540-24754-8_2" @default.
- W1827579455 hasPublicationYear "2004" @default.
- W1827579455 type Work @default.
- W1827579455 sameAs 1827579455 @default.
- W1827579455 citedByCount "7" @default.
- W1827579455 countsByYear W18275794552014 @default.
- W1827579455 crossrefType "book-chapter" @default.
- W1827579455 hasAuthorship W1827579455A5013350879 @default.
- W1827579455 hasAuthorship W1827579455A5015753190 @default.
- W1827579455 hasAuthorship W1827579455A5038139801 @default.
- W1827579455 hasAuthorship W1827579455A5057841233 @default.
- W1827579455 hasConcept C111472728 @default.
- W1827579455 hasConcept C112505250 @default.
- W1827579455 hasConcept C124304363 @default.
- W1827579455 hasConcept C132525143 @default.
- W1827579455 hasConcept C138885662 @default.
- W1827579455 hasConcept C151319957 @default.
- W1827579455 hasConcept C177264268 @default.
- W1827579455 hasConcept C199360897 @default.
- W1827579455 hasConcept C25016198 @default.
- W1827579455 hasConcept C2779167558 @default.
- W1827579455 hasConcept C31258907 @default.
- W1827579455 hasConcept C41008148 @default.
- W1827579455 hasConcept C80444323 @default.
- W1827579455 hasConceptScore W1827579455C111472728 @default.
- W1827579455 hasConceptScore W1827579455C112505250 @default.
- W1827579455 hasConceptScore W1827579455C124304363 @default.
- W1827579455 hasConceptScore W1827579455C132525143 @default.
- W1827579455 hasConceptScore W1827579455C138885662 @default.
- W1827579455 hasConceptScore W1827579455C151319957 @default.
- W1827579455 hasConceptScore W1827579455C177264268 @default.
- W1827579455 hasConceptScore W1827579455C199360897 @default.
- W1827579455 hasConceptScore W1827579455C25016198 @default.
- W1827579455 hasConceptScore W1827579455C2779167558 @default.
- W1827579455 hasConceptScore W1827579455C31258907 @default.
- W1827579455 hasConceptScore W1827579455C41008148 @default.
- W1827579455 hasConceptScore W1827579455C80444323 @default.
- W1827579455 hasLocation W18275794551 @default.
- W1827579455 hasOpenAccess W1827579455 @default.
- W1827579455 hasPrimaryLocation W18275794551 @default.
- W1827579455 hasRelatedWork W1510329416 @default.
- W1827579455 hasRelatedWork W1563392290 @default.
- W1827579455 hasRelatedWork W1600177730 @default.
- W1827579455 hasRelatedWork W1707013227 @default.
- W1827579455 hasRelatedWork W1801993675 @default.
- W1827579455 hasRelatedWork W1919125229 @default.
- W1827579455 hasRelatedWork W2156076209 @default.
- W1827579455 hasRelatedWork W2619387805 @default.
- W1827579455 hasRelatedWork W3160136729 @default.
- W1827579455 hasRelatedWork W4286894913 @default.
- W1827579455 isParatext "false" @default.
- W1827579455 isRetracted "false" @default.
- W1827579455 magId "1827579455" @default.
- W1827579455 workType "book-chapter" @default.