A syntactic abstraction for rule-based languages with binding

DOI10.1016/J.ENTCS.2011.09.035MaRDI QIDQ5166643zbMATH OpenOpenAlexWikidataFDO

Authors

Publication date 27 June 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2011.09.035

zbMATH Keywords

syntaxbindingprotein complexesrule-based languagesKappaBioNetGen

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40)

Recommendations

• scientific article; zbMATH DE number 1950558
• Cellular modelling using P systems and process algebra
• A general overview of formal languages for individual-based modelling of ecosystems
• Complex functional rates in rule-based languages for biochemistry
• Rule-based modeling of transcriptional attenuation at the tryptophan operon

Cites work

• A language for biochemical systems: design and formal specification
• Abstract Interpretation of Cellular Signalling Networks
• Rule-Based Modelling of Cellular Signalling

Cited in

(2)

• A new approach to abstract syntax with variable binding
• Lumpability abstractions of rule-based systems

Describes a project that uses

Uses Software

• BioNetGen
• LBS
• NFsim

This page was built for publication: A syntactic abstraction for rule-based languages with binding

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