Matches in SemOpenAlex for { <https://semopenalex.org/work/W2169062290> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2169062290 endingPage "154" @default.
- W2169062290 startingPage "139" @default.
- W2169062290 abstract "The use of process calculi to represent biological systems has led to the design of different calculi such as brane calculi [Luca Cardelli. Brane calculi. In CMSB, pages 257–278, 2004] and κ-calculus [Vincent Danos and Cosimo Laneve. Formal molecular biology. Theoritical Computer Science, 325(1):69–110, 2004]. Both have proved to be useful to model different types of biological systems. As an attempt to unify the two directions, we introduce the bioκ-calculus, a simple calculus for describing proteins and cells, in which bonds are represented by means of shared names and interactions are modelled at the domain level. Protein-protein interactions have to be at most binary and cell interactions have to fit with sort constraints. We define the semantics of bioκ-calculus, analyse its properties, and discuss its expressiveness by modelling two significant examples: a signalling pathway and a virus infection." @default.
- W2169062290 created "2016-06-24" @default.
- W2169062290 creator A5010019630 @default.
- W2169062290 creator A5010877867 @default.
- W2169062290 date "2007-07-01" @default.
- W2169062290 modified "2023-09-30" @default.
- W2169062290 title "A Simple Calculus for Proteins and Cells" @default.
- W2169062290 cites W1520017299 @default.
- W2169062290 cites W1986649132 @default.
- W2169062290 cites W2201760732 @default.
- W2169062290 cites W2912003593 @default.
- W2169062290 cites W2913004508 @default.
- W2169062290 doi "https://doi.org/10.1016/j.entcs.2007.05.013" @default.
- W2169062290 hasPublicationYear "2007" @default.
- W2169062290 type Work @default.
- W2169062290 sameAs 2169062290 @default.
- W2169062290 citedByCount "32" @default.
- W2169062290 countsByYear W21690622902012 @default.
- W2169062290 countsByYear W21690622902013 @default.
- W2169062290 countsByYear W21690622902014 @default.
- W2169062290 countsByYear W21690622902015 @default.
- W2169062290 countsByYear W21690622902019 @default.
- W2169062290 countsByYear W21690622902022 @default.
- W2169062290 crossrefType "journal-article" @default.
- W2169062290 hasAuthorship W2169062290A5010019630 @default.
- W2169062290 hasAuthorship W2169062290A5010877867 @default.
- W2169062290 hasBestOaLocation W21690622901 @default.
- W2169062290 hasConcept C111472728 @default.
- W2169062290 hasConcept C134306372 @default.
- W2169062290 hasConcept C138885662 @default.
- W2169062290 hasConcept C161771561 @default.
- W2169062290 hasConcept C184337299 @default.
- W2169062290 hasConcept C199343813 @default.
- W2169062290 hasConcept C199360897 @default.
- W2169062290 hasConcept C23123220 @default.
- W2169062290 hasConcept C2777686260 @default.
- W2169062290 hasConcept C2780586882 @default.
- W2169062290 hasConcept C33923547 @default.
- W2169062290 hasConcept C36503486 @default.
- W2169062290 hasConcept C41008148 @default.
- W2169062290 hasConcept C71924100 @default.
- W2169062290 hasConcept C80444323 @default.
- W2169062290 hasConcept C88548561 @default.
- W2169062290 hasConceptScore W2169062290C111472728 @default.
- W2169062290 hasConceptScore W2169062290C134306372 @default.
- W2169062290 hasConceptScore W2169062290C138885662 @default.
- W2169062290 hasConceptScore W2169062290C161771561 @default.
- W2169062290 hasConceptScore W2169062290C184337299 @default.
- W2169062290 hasConceptScore W2169062290C199343813 @default.
- W2169062290 hasConceptScore W2169062290C199360897 @default.
- W2169062290 hasConceptScore W2169062290C23123220 @default.
- W2169062290 hasConceptScore W2169062290C2777686260 @default.
- W2169062290 hasConceptScore W2169062290C2780586882 @default.
- W2169062290 hasConceptScore W2169062290C33923547 @default.
- W2169062290 hasConceptScore W2169062290C36503486 @default.
- W2169062290 hasConceptScore W2169062290C41008148 @default.
- W2169062290 hasConceptScore W2169062290C71924100 @default.
- W2169062290 hasConceptScore W2169062290C80444323 @default.
- W2169062290 hasConceptScore W2169062290C88548561 @default.
- W2169062290 hasIssue "2" @default.
- W2169062290 hasLocation W21690622901 @default.
- W2169062290 hasLocation W21690622902 @default.
- W2169062290 hasLocation W21690622903 @default.
- W2169062290 hasLocation W21690622904 @default.
- W2169062290 hasLocation W21690622905 @default.
- W2169062290 hasLocation W21690622906 @default.
- W2169062290 hasOpenAccess W2169062290 @default.
- W2169062290 hasPrimaryLocation W21690622901 @default.
- W2169062290 hasRelatedWork W1536150964 @default.
- W2169062290 hasRelatedWork W1603485317 @default.
- W2169062290 hasRelatedWork W1887191277 @default.
- W2169062290 hasRelatedWork W2018619927 @default.
- W2169062290 hasRelatedWork W2095807838 @default.
- W2169062290 hasRelatedWork W2148160518 @default.
- W2169062290 hasRelatedWork W2334954212 @default.
- W2169062290 hasRelatedWork W2382290278 @default.
- W2169062290 hasRelatedWork W2964285269 @default.
- W2169062290 hasRelatedWork W4235288607 @default.
- W2169062290 hasVolume "171" @default.
- W2169062290 isParatext "false" @default.
- W2169062290 isRetracted "false" @default.
- W2169062290 magId "2169062290" @default.
- W2169062290 workType "article" @default.