Transformation and refinement of rigid structures

DOI10.1007/978-3-319-09108-2_10MaRDI QIDQ3192233zbMATH OpenOpenAlexFDO

Authors Vincent Danos, R. Heckel, Paweł Sobociński

Publication date 26 September 2014

Published in Graph Transformation (Search for Journal in Brave)

Full work available at URL https://www.pure.ed.ac.uk/ws/files/19352305/Danos_Heckel_ET_AL_2014_Transformation_and_Refinement_of_Rigid_Structures.pdf

Mathematics Subject Classification ID

Structural characterization of families of graphs (05C75) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10) Social networks; opinion dynamics (91D30) Systems biology, networks (92C42)

Recommendations

• Rule-Based Modelling, Symmetries, Refinements
• Lumpability abstractions of rule-based systems
• Pattern graphs and rule-based models: the semantics of Kappa
• scientific article; zbMATH DE number 1504839
• Rigid geometric constraints for Kappa models

Cited in

(7)

• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Incremental update for graph rewriting
• Rule-Based Modelling, Symmetries, Refinements
• scientific article; zbMATH DE number 7317237 (Why is no real title available?)
• scientific article; zbMATH DE number 7456054 (Why is no real title available?)
• scientific article; zbMATH DE number 7456060 (Why is no real title available?)
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics

This page was built for publication: Transformation and refinement of rigid structures

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