Matches in SemOpenAlex for { <https://semopenalex.org/work/W2093206756> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2093206756 abstract "We investigate the semantics of a process algebra language for DNA computing. As a formal description technique we use denotational semantics and the mathematical methodology of metric semantics. We use continuations and powerdomains to represent nondeterministic behavior. An element of a powerdomain is a collection of sequences of observables representing DNA structures. We consider two notions of an observable item and we design two corresponding denotational models. As far as we know this is the first paper that employs the denotational approach in the semantic investigation of DNA computing." @default.
- W2093206756 created "2016-06-24" @default.
- W2093206756 creator A5010399747 @default.
- W2093206756 creator A5044248894 @default.
- W2093206756 date "2013-09-01" @default.
- W2093206756 modified "2023-10-16" @default.
- W2093206756 title "Experiments with continuation semantics for DNA computing" @default.
- W2093206756 cites W1525647423 @default.
- W2093206756 cites W1556046194 @default.
- W2093206756 cites W1984435144 @default.
- W2093206756 cites W1995902462 @default.
- W2093206756 cites W2047231556 @default.
- W2093206756 cites W2055378322 @default.
- W2093206756 cites W2062024564 @default.
- W2093206756 cites W2062950667 @default.
- W2093206756 cites W2118229393 @default.
- W2093206756 cites W2140920629 @default.
- W2093206756 cites W2143893379 @default.
- W2093206756 cites W2517418573 @default.
- W2093206756 doi "https://doi.org/10.1109/iccp.2013.6646117" @default.
- W2093206756 hasPublicationYear "2013" @default.
- W2093206756 type Work @default.
- W2093206756 sameAs 2093206756 @default.
- W2093206756 citedByCount "3" @default.
- W2093206756 countsByYear W20932067562015 @default.
- W2093206756 countsByYear W20932067562017 @default.
- W2093206756 countsByYear W20932067562019 @default.
- W2093206756 crossrefType "proceedings-article" @default.
- W2093206756 hasAuthorship W2093206756A5010399747 @default.
- W2093206756 hasAuthorship W2093206756A5044248894 @default.
- W2093206756 hasConcept C118615104 @default.
- W2093206756 hasConcept C146499914 @default.
- W2093206756 hasConcept C156325763 @default.
- W2093206756 hasConcept C162324750 @default.
- W2093206756 hasConcept C176181172 @default.
- W2093206756 hasConcept C176217482 @default.
- W2093206756 hasConcept C184337299 @default.
- W2093206756 hasConcept C199360897 @default.
- W2093206756 hasConcept C207648694 @default.
- W2093206756 hasConcept C21547014 @default.
- W2093206756 hasConcept C29585364 @default.
- W2093206756 hasConcept C33923547 @default.
- W2093206756 hasConcept C41008148 @default.
- W2093206756 hasConcept C80444323 @default.
- W2093206756 hasConcept C87365073 @default.
- W2093206756 hasConcept C89448276 @default.
- W2093206756 hasConceptScore W2093206756C118615104 @default.
- W2093206756 hasConceptScore W2093206756C146499914 @default.
- W2093206756 hasConceptScore W2093206756C156325763 @default.
- W2093206756 hasConceptScore W2093206756C162324750 @default.
- W2093206756 hasConceptScore W2093206756C176181172 @default.
- W2093206756 hasConceptScore W2093206756C176217482 @default.
- W2093206756 hasConceptScore W2093206756C184337299 @default.
- W2093206756 hasConceptScore W2093206756C199360897 @default.
- W2093206756 hasConceptScore W2093206756C207648694 @default.
- W2093206756 hasConceptScore W2093206756C21547014 @default.
- W2093206756 hasConceptScore W2093206756C29585364 @default.
- W2093206756 hasConceptScore W2093206756C33923547 @default.
- W2093206756 hasConceptScore W2093206756C41008148 @default.
- W2093206756 hasConceptScore W2093206756C80444323 @default.
- W2093206756 hasConceptScore W2093206756C87365073 @default.
- W2093206756 hasConceptScore W2093206756C89448276 @default.
- W2093206756 hasLocation W20932067561 @default.
- W2093206756 hasOpenAccess W2093206756 @default.
- W2093206756 hasPrimaryLocation W20932067561 @default.
- W2093206756 hasRelatedWork W1500490537 @default.
- W2093206756 hasRelatedWork W1969894701 @default.
- W2093206756 hasRelatedWork W1985058553 @default.
- W2093206756 hasRelatedWork W1986227685 @default.
- W2093206756 hasRelatedWork W1991569066 @default.
- W2093206756 hasRelatedWork W2047273923 @default.
- W2093206756 hasRelatedWork W2055530613 @default.
- W2093206756 hasRelatedWork W2080003993 @default.
- W2093206756 hasRelatedWork W2133673046 @default.
- W2093206756 hasRelatedWork W3139603584 @default.
- W2093206756 isParatext "false" @default.
- W2093206756 isRetracted "false" @default.
- W2093206756 magId "2093206756" @default.
- W2093206756 workType "article" @default.