Matches in SemOpenAlex for { <https://semopenalex.org/work/W1501056416> ?p ?o ?g. }
- W1501056416 endingPage "465" @default.
- W1501056416 startingPage "445" @default.
- W1501056416 abstract "AbstractWe present the Calculus of Chemical Systems for the modular presentation of systems of chemical equations; it is intended to be a core calculus for rule-based modelling in systems biology. The calculus is loosely modelled after Milner’s Calculus of Communicating Systems, but with communication replaced by chemical reactions. We give a variety of compositional semantics for qualitative and quantitative versions of our calculus, employing a commutative monoid semantical framework. These semantics include (qualitative and quantitative) Petri nets, transition relations, ordinary differential equations (ODEs), and stochastic matrices. Standard semantics of Petri nets, whether of transition relations, ODEs, or stochastic matrices, fit within the framework as commutative monoid homomorphisms. We give complete equational axiomatisations and normal forms for all the semantics, and full abstraction results for the ODE and stochastic semantics. Definability can be characterised in some cases, as was already known for ODEs; other cases, including the stochastic one, remain open.KeywordsCanonical FormChemical SystemTransition RelationDenotational SemanticStochastic MatriceThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1501056416 created "2016-06-24" @default.
- W1501056416 creator A5070609290 @default.
- W1501056416 date "2013-01-01" @default.
- W1501056416 modified "2023-09-26" @default.
- W1501056416 title "A Calculus of Chemical Systems" @default.
- W1501056416 cites W154180254 @default.
- W1501056416 cites W1595516773 @default.
- W1501056416 cites W1644749979 @default.
- W1501056416 cites W1906512876 @default.
- W1501056416 cites W1986649132 @default.
- W1501056416 cites W1993980414 @default.
- W1501056416 cites W2009772909 @default.
- W1501056416 cites W2011835017 @default.
- W1501056416 cites W2012788380 @default.
- W1501056416 cites W2016440384 @default.
- W1501056416 cites W2041396547 @default.
- W1501056416 cites W2048541292 @default.
- W1501056416 cites W2053383702 @default.
- W1501056416 cites W2089719600 @default.
- W1501056416 cites W2091695815 @default.
- W1501056416 cites W2106190666 @default.
- W1501056416 cites W2110796675 @default.
- W1501056416 cites W2112651905 @default.
- W1501056416 cites W2117874336 @default.
- W1501056416 cites W2119510512 @default.
- W1501056416 cites W2130429899 @default.
- W1501056416 cites W2148895036 @default.
- W1501056416 cites W2149991291 @default.
- W1501056416 cites W2163480486 @default.
- W1501056416 cites W4231119717 @default.
- W1501056416 cites W4234924236 @default.
- W1501056416 cites W77439205 @default.
- W1501056416 doi "https://doi.org/10.1007/978-3-642-41660-6_24" @default.
- W1501056416 hasPublicationYear "2013" @default.
- W1501056416 type Work @default.
- W1501056416 sameAs 1501056416 @default.
- W1501056416 citedByCount "6" @default.
- W1501056416 countsByYear W15010564162014 @default.
- W1501056416 countsByYear W15010564162015 @default.
- W1501056416 countsByYear W15010564162016 @default.
- W1501056416 countsByYear W15010564162021 @default.
- W1501056416 crossrefType "book-chapter" @default.
- W1501056416 hasAuthorship W1501056416A5070609290 @default.
- W1501056416 hasBestOaLocation W15010564162 @default.
- W1501056416 hasConcept C11413529 @default.
- W1501056416 hasConcept C118615104 @default.
- W1501056416 hasConcept C136119220 @default.
- W1501056416 hasConcept C156325763 @default.
- W1501056416 hasConcept C161771561 @default.
- W1501056416 hasConcept C183778304 @default.
- W1501056416 hasConcept C184337299 @default.
- W1501056416 hasConcept C197551870 @default.
- W1501056416 hasConcept C199343813 @default.
- W1501056416 hasConcept C199360897 @default.
- W1501056416 hasConcept C202444582 @default.
- W1501056416 hasConcept C2777686260 @default.
- W1501056416 hasConcept C2780432614 @default.
- W1501056416 hasConcept C28826006 @default.
- W1501056416 hasConcept C33923547 @default.
- W1501056416 hasConcept C34862557 @default.
- W1501056416 hasConcept C38677869 @default.
- W1501056416 hasConcept C41008148 @default.
- W1501056416 hasConcept C71924100 @default.
- W1501056416 hasConcept C80444323 @default.
- W1501056416 hasConceptScore W1501056416C11413529 @default.
- W1501056416 hasConceptScore W1501056416C118615104 @default.
- W1501056416 hasConceptScore W1501056416C136119220 @default.
- W1501056416 hasConceptScore W1501056416C156325763 @default.
- W1501056416 hasConceptScore W1501056416C161771561 @default.
- W1501056416 hasConceptScore W1501056416C183778304 @default.
- W1501056416 hasConceptScore W1501056416C184337299 @default.
- W1501056416 hasConceptScore W1501056416C197551870 @default.
- W1501056416 hasConceptScore W1501056416C199343813 @default.
- W1501056416 hasConceptScore W1501056416C199360897 @default.
- W1501056416 hasConceptScore W1501056416C202444582 @default.
- W1501056416 hasConceptScore W1501056416C2777686260 @default.
- W1501056416 hasConceptScore W1501056416C2780432614 @default.
- W1501056416 hasConceptScore W1501056416C28826006 @default.
- W1501056416 hasConceptScore W1501056416C33923547 @default.
- W1501056416 hasConceptScore W1501056416C34862557 @default.
- W1501056416 hasConceptScore W1501056416C38677869 @default.
- W1501056416 hasConceptScore W1501056416C41008148 @default.
- W1501056416 hasConceptScore W1501056416C71924100 @default.
- W1501056416 hasConceptScore W1501056416C80444323 @default.
- W1501056416 hasLocation W15010564161 @default.
- W1501056416 hasLocation W15010564162 @default.
- W1501056416 hasLocation W15010564163 @default.
- W1501056416 hasOpenAccess W1501056416 @default.
- W1501056416 hasPrimaryLocation W15010564161 @default.
- W1501056416 hasRelatedWork W1555655467 @default.
- W1501056416 hasRelatedWork W1570257136 @default.
- W1501056416 hasRelatedWork W1771902143 @default.
- W1501056416 hasRelatedWork W1888062784 @default.
- W1501056416 hasRelatedWork W2012100616 @default.
- W1501056416 hasRelatedWork W2025341469 @default.
- W1501056416 hasRelatedWork W2042633675 @default.
- W1501056416 hasRelatedWork W2042939769 @default.