A syntactic abstraction for rule-based languages with binding

DOI10.1016/J.ENTCS.2011.09.035zbMATH Open1291.92062OpenAlexW1993601857WikidataQ113318212 ScholiaQ113318212MaRDI QIDQ5166643FDOQ5166643

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

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

zbMATH Keywords

syntaxbindingprotein complexesrule-based languagesKappaBioNetGen

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40)

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)

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

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)