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 (2)

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

This page was built for publication: Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories