Matches in SemOpenAlex for { <https://semopenalex.org/work/W1604086958> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1604086958 abstract "P-systems represent an important class of biologically inspired computational models. In this paper, we study computational properties of a variation of P-systems with rules that model in an abstract way fusion and clonation of membranes. We focus our attention on extended P-systems with an interleaving semantics and symbol objects and we investigate decision problems like reachability of a configuration, boundedness (finiteness of the state space), and coverability (verification of safety properties). In particular we use the theory of well-structured transition systems to prove that both the coverability and the boundedness problems are decidable for PB systems with fusion and clonation. Our results represent a preliminary step towards the development of automated verification procedures for concurrent systems with biologically inspired operations like fusion and clonation." @default.
- W1604086958 created "2016-06-24" @default.
- W1604086958 creator A5032668408 @default.
- W1604086958 creator A5071901297 @default.
- W1604086958 date "2008-01-01" @default.
- W1604086958 modified "2023-10-16" @default.
- W1604086958 title "A Biologically Inspired Model with Fusion and Clonation of Membranes" @default.
- W1604086958 cites W1511242606 @default.
- W1604086958 cites W1513877552 @default.
- W1604086958 cites W1537120868 @default.
- W1604086958 cites W1553002193 @default.
- W1604086958 cites W1598002499 @default.
- W1604086958 cites W1967174286 @default.
- W1604086958 cites W1987814265 @default.
- W1604086958 cites W1991275081 @default.
- W1604086958 cites W2009647777 @default.
- W1604086958 cites W2106190666 @default.
- W1604086958 cites W2123910665 @default.
- W1604086958 cites W2141873809 @default.
- W1604086958 cites W2154099358 @default.
- W1604086958 cites W2158708642 @default.
- W1604086958 cites W2316437449 @default.
- W1604086958 cites W4240833632 @default.
- W1604086958 cites W4249538237 @default.
- W1604086958 doi "https://doi.org/10.1007/978-3-540-85194-3_8" @default.
- W1604086958 hasPublicationYear "2008" @default.
- W1604086958 type Work @default.
- W1604086958 sameAs 1604086958 @default.
- W1604086958 citedByCount "2" @default.
- W1604086958 countsByYear W16040869582016 @default.
- W1604086958 crossrefType "book-chapter" @default.
- W1604086958 hasAuthorship W1604086958A5032668408 @default.
- W1604086958 hasAuthorship W1604086958A5071901297 @default.
- W1604086958 hasConcept C110251889 @default.
- W1604086958 hasConcept C111498074 @default.
- W1604086958 hasConcept C111919701 @default.
- W1604086958 hasConcept C11413529 @default.
- W1604086958 hasConcept C120665830 @default.
- W1604086958 hasConcept C121332964 @default.
- W1604086958 hasConcept C134400042 @default.
- W1604086958 hasConcept C136643341 @default.
- W1604086958 hasConcept C153269930 @default.
- W1604086958 hasConcept C154945302 @default.
- W1604086958 hasConcept C184337299 @default.
- W1604086958 hasConcept C192209626 @default.
- W1604086958 hasConcept C199360897 @default.
- W1604086958 hasConcept C2777212361 @default.
- W1604086958 hasConcept C2779167558 @default.
- W1604086958 hasConcept C28034677 @default.
- W1604086958 hasConcept C41008148 @default.
- W1604086958 hasConcept C41550386 @default.
- W1604086958 hasConcept C80444323 @default.
- W1604086958 hasConcept C96011364 @default.
- W1604086958 hasConceptScore W1604086958C110251889 @default.
- W1604086958 hasConceptScore W1604086958C111498074 @default.
- W1604086958 hasConceptScore W1604086958C111919701 @default.
- W1604086958 hasConceptScore W1604086958C11413529 @default.
- W1604086958 hasConceptScore W1604086958C120665830 @default.
- W1604086958 hasConceptScore W1604086958C121332964 @default.
- W1604086958 hasConceptScore W1604086958C134400042 @default.
- W1604086958 hasConceptScore W1604086958C136643341 @default.
- W1604086958 hasConceptScore W1604086958C153269930 @default.
- W1604086958 hasConceptScore W1604086958C154945302 @default.
- W1604086958 hasConceptScore W1604086958C184337299 @default.
- W1604086958 hasConceptScore W1604086958C192209626 @default.
- W1604086958 hasConceptScore W1604086958C199360897 @default.
- W1604086958 hasConceptScore W1604086958C2777212361 @default.
- W1604086958 hasConceptScore W1604086958C2779167558 @default.
- W1604086958 hasConceptScore W1604086958C28034677 @default.
- W1604086958 hasConceptScore W1604086958C41008148 @default.
- W1604086958 hasConceptScore W1604086958C41550386 @default.
- W1604086958 hasConceptScore W1604086958C80444323 @default.
- W1604086958 hasConceptScore W1604086958C96011364 @default.
- W1604086958 hasLocation W16040869581 @default.
- W1604086958 hasOpenAccess W1604086958 @default.
- W1604086958 hasPrimaryLocation W16040869581 @default.
- W1604086958 hasRelatedWork W1991721586 @default.
- W1604086958 hasRelatedWork W2008659719 @default.
- W1604086958 hasRelatedWork W2011639587 @default.
- W1604086958 hasRelatedWork W2046095386 @default.
- W1604086958 hasRelatedWork W2220155939 @default.
- W1604086958 hasRelatedWork W2349027074 @default.
- W1604086958 hasRelatedWork W2375921219 @default.
- W1604086958 hasRelatedWork W3107474891 @default.
- W1604086958 hasRelatedWork W3132484442 @default.
- W1604086958 hasRelatedWork W3153050314 @default.
- W1604086958 isParatext "false" @default.
- W1604086958 isRetracted "false" @default.
- W1604086958 magId "1604086958" @default.
- W1604086958 workType "book-chapter" @default.