A Syntactic Abstraction for Rule-Based Languages with Binding

DOI10.1016/j.entcs.2011.09.035zbMath1291.92062OpenAlexW1993601857WikidataQ113318212 ScholiaQ113318212MaRDI QIDQ5166643

No author found.

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)

Uses Software

• BioNetGen
• LBS
• NFsim

Cites Work

• A Language for Biochemical Systems: Design and Formal Specification
• Rule-Based Modelling of Cellular Signalling
• Abstract Interpretation of Cellular Signalling Networks

This page was built for publication: A Syntactic Abstraction for Rule-Based Languages with Binding