Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155674319> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2155674319 abstract "This paper proposes Allocational Temporal Logic (AllTL) as a formalism to express properties concerning the dynamic allocation (birth) and de-allocation (death) of entities, such as the objects in an object-based system. The logic is interpreted on History-Dependent Automata, extended with a symbolic representation for certain cases of unbounded allocation. The paper also presents a simple imperative language with primitive statements for (de)allocation, with an operational semantics, to illustrate the kind of behaviour that can be modelled. The main contribution of the paper is a tableau-based model checking algorithm for AllTL, along the lines of Lichtenstein and Pnueli’s algorithm for LTL." @default.
- W2155674319 created "2016-06-24" @default.
- W2155674319 creator A5045219123 @default.
- W2155674319 creator A5087543664 @default.
- W2155674319 creator A5090819329 @default.
- W2155674319 date "2002-01-01" @default.
- W2155674319 modified "2023-09-24" @default.
- W2155674319 title "Model Checking Birth and Death" @default.
- W2155674319 cites W1562901937 @default.
- W2155674319 cites W1988808695 @default.
- W2155674319 cites W2000138546 @default.
- W2155674319 cites W2040060046 @default.
- W2155674319 cites W2043190445 @default.
- W2155674319 cites W2045641460 @default.
- W2155674319 cites W2090398333 @default.
- W2155674319 cites W2128932399 @default.
- W2155674319 doi "https://doi.org/10.1007/978-0-387-35608-2_36" @default.
- W2155674319 hasPublicationYear "2002" @default.
- W2155674319 type Work @default.
- W2155674319 sameAs 2155674319 @default.
- W2155674319 citedByCount "18" @default.
- W2155674319 countsByYear W21556743192012 @default.
- W2155674319 countsByYear W21556743192015 @default.
- W2155674319 countsByYear W21556743192021 @default.
- W2155674319 crossrefType "book-chapter" @default.
- W2155674319 hasAuthorship W2155674319A5045219123 @default.
- W2155674319 hasAuthorship W2155674319A5087543664 @default.
- W2155674319 hasAuthorship W2155674319A5090819329 @default.
- W2155674319 hasBestOaLocation W21556743191 @default.
- W2155674319 hasConcept C110251889 @default.
- W2155674319 hasConcept C111472728 @default.
- W2155674319 hasConcept C112505250 @default.
- W2155674319 hasConcept C138885662 @default.
- W2155674319 hasConcept C142362112 @default.
- W2155674319 hasConcept C153349607 @default.
- W2155674319 hasConcept C156325763 @default.
- W2155674319 hasConcept C17744445 @default.
- W2155674319 hasConcept C184337299 @default.
- W2155674319 hasConcept C199360897 @default.
- W2155674319 hasConcept C199539241 @default.
- W2155674319 hasConcept C25016198 @default.
- W2155674319 hasConcept C2776359362 @default.
- W2155674319 hasConcept C2780586882 @default.
- W2155674319 hasConcept C41008148 @default.
- W2155674319 hasConcept C4777664 @default.
- W2155674319 hasConcept C558565934 @default.
- W2155674319 hasConcept C73301696 @default.
- W2155674319 hasConcept C80444323 @default.
- W2155674319 hasConcept C94625758 @default.
- W2155674319 hasConceptScore W2155674319C110251889 @default.
- W2155674319 hasConceptScore W2155674319C111472728 @default.
- W2155674319 hasConceptScore W2155674319C112505250 @default.
- W2155674319 hasConceptScore W2155674319C138885662 @default.
- W2155674319 hasConceptScore W2155674319C142362112 @default.
- W2155674319 hasConceptScore W2155674319C153349607 @default.
- W2155674319 hasConceptScore W2155674319C156325763 @default.
- W2155674319 hasConceptScore W2155674319C17744445 @default.
- W2155674319 hasConceptScore W2155674319C184337299 @default.
- W2155674319 hasConceptScore W2155674319C199360897 @default.
- W2155674319 hasConceptScore W2155674319C199539241 @default.
- W2155674319 hasConceptScore W2155674319C25016198 @default.
- W2155674319 hasConceptScore W2155674319C2776359362 @default.
- W2155674319 hasConceptScore W2155674319C2780586882 @default.
- W2155674319 hasConceptScore W2155674319C41008148 @default.
- W2155674319 hasConceptScore W2155674319C4777664 @default.
- W2155674319 hasConceptScore W2155674319C558565934 @default.
- W2155674319 hasConceptScore W2155674319C73301696 @default.
- W2155674319 hasConceptScore W2155674319C80444323 @default.
- W2155674319 hasConceptScore W2155674319C94625758 @default.
- W2155674319 hasLocation W21556743191 @default.
- W2155674319 hasLocation W21556743192 @default.
- W2155674319 hasOpenAccess W2155674319 @default.
- W2155674319 hasPrimaryLocation W21556743191 @default.
- W2155674319 hasRelatedWork W1500886905 @default.
- W2155674319 hasRelatedWork W1507319077 @default.
- W2155674319 hasRelatedWork W1720837145 @default.
- W2155674319 hasRelatedWork W1986898973 @default.
- W2155674319 hasRelatedWork W2012001501 @default.
- W2155674319 hasRelatedWork W2030697178 @default.
- W2155674319 hasRelatedWork W2082808848 @default.
- W2155674319 hasRelatedWork W2099991819 @default.
- W2155674319 hasRelatedWork W2100502921 @default.
- W2155674319 hasRelatedWork W2101572430 @default.
- W2155674319 hasRelatedWork W2124498114 @default.
- W2155674319 hasRelatedWork W2134871878 @default.
- W2155674319 hasRelatedWork W2137628566 @default.
- W2155674319 hasRelatedWork W2150013594 @default.
- W2155674319 hasRelatedWork W2167998587 @default.
- W2155674319 hasRelatedWork W2169097519 @default.
- W2155674319 hasRelatedWork W2399029393 @default.
- W2155674319 hasRelatedWork W2798999509 @default.
- W2155674319 hasRelatedWork W3081601885 @default.
- W2155674319 hasRelatedWork W1755994347 @default.
- W2155674319 isParatext "false" @default.
- W2155674319 isRetracted "false" @default.
- W2155674319 magId "2155674319" @default.
- W2155674319 workType "book-chapter" @default.