Containment in Rule-Based Models
From MaRDI portal
Publication:5404101
DOI10.1016/J.ENTCS.2012.05.019zbMATH Open1283.92045OpenAlexW1963603549WikidataQ113318106 ScholiaQ113318106MaRDI QIDQ5404101FDOQ5404101
Authors: C. D. Thompson-Walsh, Jonathan Hayman, Glynn Winskel 
Publication date: 21 March 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.2012.05.019
Recommendations
- Theory and practice of constraint handling rules
- A complete and terminating execution model for constraint handling rules
- Containment logics: Algebraic Counterparts and Reduced Models
- scientific article; zbMATH DE number 1337859
- Quantified constraint handling rules
- scientific article; zbMATH DE number 4005604
- scientific article; zbMATH DE number 1453071
Cites Work
- Formal molecular biology
- Title not available (Why is that?)
- Brane Calculi
- Abstract Interpretation of Cellular Signalling Networks
- The Space and Motion of Communicating Agents
- Stochastic bigraphs
- Rule-Based Modelling of Cellular Signalling
- Multi-level modelling via stochastic multi-level multiset rewriting
- Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
Cited In (9)
- Complex functional rates in rule-based languages for biochemistry
- Constraining rule-based dynamics with types
- Title not available (Why is that?)
- Rule-based modelling and tunable resolution
- Pattern graphs and rule-based models: the semantics of Kappa
- Formal relationships between geometrical and classical models for concurrency
- Compact representation of photosynthesis dynamics by rule-based models
- Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch
- Rigid geometric constraints for Kappa models
Uses Software
This page was built for publication: Containment in Rule-Based Models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5404101)
