Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories
From MaRDI portal
Publication:2864378
DOI10.1016/j.entcs.2008.10.043zbMath1277.68150OpenAlexW2165848164MaRDI QIDQ2864378
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
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