Categorical approach to horizontal structuring and refinement of high-level replacement systems
graph grammarsgraph transformationshigh-level replacement systemshorizontal structuringPetri net transformationsrefinementrequirements engineering
Graphs, diagram schemes, precategories (18A10) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Circuits, networks (94C99)
- On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH
- Basic results for two types of high-level replacement systems
- Parallel high-level replacement systems
- Categorical principles, techniques and results for high-level-replacement systems in computer science
- scientific article; zbMATH DE number 177439
- On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Canonical derivations for high-level replacement systems
- Categorical principles, techniques and results for high-level-replacement systems in computer science
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components
This page was built for publication: Categorical approach to horizontal structuring and refinement of high-level replacement systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1971976)
