Formal Methods in Software and Systems Modeling
From MaRDI portal
Publication:5710428
DOI10.1007/b106390zbMath1075.68043OpenAlexW2492988005MaRDI QIDQ5710428
Publication date: 2 December 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b106390
Grammars and rewriting systems (68Q42) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)
Related Items (3)
Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes ⋮ Graph Transformation by Computational Category Theory ⋮ Graph rewriting and relabeling with PBPO\textsuperscript{+}
This page was built for publication: Formal Methods in Software and Systems Modeling
