Transformation and Refinement of Rigid Structures

DOI10.1007/978-3-319-09108-2_10zbMath1425.68157MaRDI QIDQ3192233

Reiko Heckel, Paweł Sobociński, Vincent Danos

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

91D30: Social networks; opinion dynamics

68R10: Graph theory (including graph drawing) in computer science

05C75: Structural characterization of families of graphs

68Q42: Grammars and rewriting systems

18A30: Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.)

92C42: Systems biology, networks