Matches in SemOpenAlex for { <https://semopenalex.org/work/W1552831395> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1552831395 endingPage "252" @default.
- W1552831395 startingPage "234" @default.
- W1552831395 abstract "This paper concerns the application of formal methods to biological systems, modeled specifically in BioAmbients [34], a variant of the Mobile Ambients [4] calculus. Following the semantic-based approach of abstract interpretation, we define a new static analysis that computes an abstract transition system. Our analysis has two main advantages with respect to the analyses appearing in literature: (i) it is able to address temporal properties which are more general than invariant properties; (ii) it supports, by means of a particular labeling discipline, the validation of systems where several copies of an ambient may appear." @default.
- W1552831395 created "2016-06-24" @default.
- W1552831395 creator A5088454208 @default.
- W1552831395 creator A5090195630 @default.
- W1552831395 date "2006-01-01" @default.
- W1552831395 modified "2023-10-01" @default.
- W1552831395 title "An Analysis for Proving Temporal Properties of Biological Systems" @default.
- W1552831395 cites W1507446426 @default.
- W1552831395 cites W1517751881 @default.
- W1552831395 cites W1550912436 @default.
- W1552831395 cites W1552831395 @default.
- W1552831395 cites W1568478782 @default.
- W1552831395 cites W1595516773 @default.
- W1552831395 cites W1598688393 @default.
- W1552831395 cites W1819673294 @default.
- W1552831395 cites W1910998188 @default.
- W1552831395 cites W2007006124 @default.
- W1552831395 cites W2014764321 @default.
- W1552831395 cites W2043100293 @default.
- W1552831395 cites W2066322491 @default.
- W1552831395 cites W2067359684 @default.
- W1552831395 cites W2074638034 @default.
- W1552831395 cites W2076632469 @default.
- W1552831395 cites W2080593426 @default.
- W1552831395 cites W2090106217 @default.
- W1552831395 cites W2090266934 @default.
- W1552831395 cites W2105161851 @default.
- W1552831395 cites W2106190666 @default.
- W1552831395 cites W2110796675 @default.
- W1552831395 cites W2161900907 @default.
- W1552831395 cites W2912003593 @default.
- W1552831395 doi "https://doi.org/10.1007/11924661_15" @default.
- W1552831395 hasPublicationYear "2006" @default.
- W1552831395 type Work @default.
- W1552831395 sameAs 1552831395 @default.
- W1552831395 citedByCount "10" @default.
- W1552831395 countsByYear W15528313952015 @default.
- W1552831395 countsByYear W15528313952018 @default.
- W1552831395 countsByYear W15528313952023 @default.
- W1552831395 crossrefType "book-chapter" @default.
- W1552831395 hasAuthorship W1552831395A5088454208 @default.
- W1552831395 hasAuthorship W1552831395A5090195630 @default.
- W1552831395 hasConcept C11413529 @default.
- W1552831395 hasConcept C190470478 @default.
- W1552831395 hasConcept C199360897 @default.
- W1552831395 hasConcept C2780654840 @default.
- W1552831395 hasConcept C33923547 @default.
- W1552831395 hasConcept C37914503 @default.
- W1552831395 hasConcept C41008148 @default.
- W1552831395 hasConcept C527412718 @default.
- W1552831395 hasConcept C80444323 @default.
- W1552831395 hasConceptScore W1552831395C11413529 @default.
- W1552831395 hasConceptScore W1552831395C190470478 @default.
- W1552831395 hasConceptScore W1552831395C199360897 @default.
- W1552831395 hasConceptScore W1552831395C2780654840 @default.
- W1552831395 hasConceptScore W1552831395C33923547 @default.
- W1552831395 hasConceptScore W1552831395C37914503 @default.
- W1552831395 hasConceptScore W1552831395C41008148 @default.
- W1552831395 hasConceptScore W1552831395C527412718 @default.
- W1552831395 hasConceptScore W1552831395C80444323 @default.
- W1552831395 hasLocation W15528313951 @default.
- W1552831395 hasOpenAccess W1552831395 @default.
- W1552831395 hasPrimaryLocation W15528313951 @default.
- W1552831395 hasRelatedWork W1483974062 @default.
- W1552831395 hasRelatedWork W2074638034 @default.
- W1552831395 hasRelatedWork W2172022734 @default.
- W1552831395 hasRelatedWork W2386369021 @default.
- W1552831395 hasRelatedWork W2952657391 @default.
- W1552831395 hasRelatedWork W3137189469 @default.
- W1552831395 hasRelatedWork W3146823024 @default.
- W1552831395 hasRelatedWork W3169777496 @default.
- W1552831395 hasRelatedWork W4245681215 @default.
- W1552831395 hasRelatedWork W2789178056 @default.
- W1552831395 isParatext "false" @default.
- W1552831395 isRetracted "false" @default.
- W1552831395 magId "1552831395" @default.
- W1552831395 workType "book-chapter" @default.