Transformation and Refinement of Rigid Structures

DOI10.1007/978-3-319-09108-2_10zbMath1425.68157OpenAlexW2260741225MaRDI 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

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

Related Items (5)

Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Incremental Update for Graph Rewriting ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics

This page was built for publication: Transformation and Refinement of Rigid Structures