Algebraic Graph Transformations with Inheritance
From MaRDI portal
Publication:5166670
DOI10.1007/978-3-642-41071-0_15zbMath1409.68074OpenAlexW47367336MaRDI QIDQ5166670
Marius Schultchen, Christoph Schulz, Harald König, Michael Löwe
Publication date: 8 July 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-41071-0_15
Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items