Complex functional rates in rule-based languages for biochemistry

DOI10.1007/978-3-642-35524-0_6MaRDI QIDQ4912381zbMATH OpenOpenAlexFDO

Authors Cristian Versari, Gianluigi Zavattaro

Publication date 3 April 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-35524-0_6

zbMATH Keywords

complexesKappa-calculusreactants

Mathematics Subject Classification ID

Logic in computer science (03B70) Formal languages and automata (68Q45) Biochemistry, molecular biology (92C40)

Recommendations

• Pattern graphs and rule-based models: the semantics of Kappa
• A language for biochemical systems: design and formal specification
• Containment in Rule-Based Models
• Formal biochemical space with semantics in Kappa and BNGL
• Lumpability abstractions of rule-based systems

Cited in

(11)

• Formal biochemical space with semantics in Kappa and BNGL
• Chromar, a rule-based language of parameterised objects
• Nonlinear pattern matching in rule-based modeling languages
• Chromar, a language of parameterised agents
• Rigid geometric constraints for Kappa models
• Compact representation of photosynthesis dynamics by rule-based models
• Biochemical reaction rules with constraints
• A language for biochemical systems: design and formal specification
• Pattern graphs and rule-based models: the semantics of Kappa
• Constraining rule-based dynamics with types
• A syntactic abstraction for rule-based languages with binding

Describes a project that uses

Uses Software

• KAPPA

This page was built for publication: Complex functional rates in rule-based languages for biochemistry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4912381)