Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories

DOI10.1016/j.entcs.2008.10.043zbMath1277.68150OpenAlexW2165848164MaRDI QIDQ2864378

Ulrike Prange

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.043

zbMATH Keywords

adhesive HLR categoriesalgebraic high-level netsalgebraic high-level systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs, Transformations in Reconfigurable Place/Transition Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
• Fundamentals of algebraic graph transformation
• Transformations in Reconfigurable Place/Transition Systems
• Categorical Foundations of Distributed Graph Transformation
• Parallelism and concurrency in high-level replacement systems
• Algebraic high-level net transformation systems
• Adhesive and quasiadhesive categories
• Applications and Theory of Petri Nets 2005