Incremental update for graph rewriting

DOI10.1007/978-3-662-54434-1_8MaRDI QIDQ2988640zbMATH OpenOpenAlexFDO

Authors Pierre Boutillier, Thomas Ehrhard, Jean Krivine

Publication date 19 May 2017

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-54434-1_8

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Moment semantics for reversible rule-based systems
• Thermodynamic Graph-Rewriting
• Graphs for core molecular biology
• Stochastic mechanics of graph rewriting
• Thermodynamic graph-rewriting

Cites work

• Graph transformation with incremental updates
• On graph rewritings
• Rule-Based Modelling of Cellular Signalling
• Sesqui-Pushout Rewriting
• The Space and Motion of Communicating Agents
• The system \({\mathcal F}\) of variable types, fifteen years later
• Transformation and refinement of rigid structures

Cited in

(6)

• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Generalizing Gillespie's direct method to enable network-free simulations
• Moment semantics for reversible rule-based systems
• Thermodynamic graph-rewriting
• Counters in Kappa: semantics, simulation, and static analysis
• Statistical model checking for rule-based models in the Kappa language

Describes a project that uses

Uses Software

• BioNetGen
• NFsim
• GitHub

This page was built for publication: Incremental update for graph rewriting

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