Pages that link to "Item:Q4006236"
From MaRDI portal
The following pages link to Parallelism and concurrency in high-level replacement systems (Q4006236):
Displayed 41 items.
- Locating the contractum in the double pushout approach (Q672236) (← links)
- On categorical graph grammars integrating structural transformations and operations on labels (Q685458) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668) (← links)
- Construction and properties of adhesive and weak adhesive high-level replacement categories (Q934669) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
- A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
- The uniqueness condition for the double pushout transformation of algebras (Q2486006) (← links)
- Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories (Q2864378) (← links)
- Connector Rewriting with High-Level Replacement Systems (Q2866320) (← links)
- Modelling Calculi with Name Mobility using Graphs with Equivalences (Q2867900) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- Multi-amalgamated Triple Graph Grammars (Q2947213) (← links)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (Q3540428) (← links)
- Correctness of high-level transformation systems relative to nested conditions (Q3625675) (← links)
- (Q4222788) (← links)
- The contractum in algebraic graph rewriting (Q4645265) (← links)
- An event structure semantics for graph grammars with parallel productions (Q4645280) (← links)
- On Modifying High Level Replacement Systems1 1Partially supported by the European Community under TMR GETGRATS and Esprit WG APPLIGRAPH (Q4923505) (← links)
- Concurrency for Graph Grammars in a Petri net shell (Q4923530) (← links)
- Basic Results for Two Types of High-Level Replacement Systems (Q4923535) (← links)
- (Q5020536) (← links)
- (Q5020539) (← links)
- (Q5021225) (← links)
- Abstract graph derivations in the double pushout approach (Q5096276) (← links)
- Note on standard representation of graphs and graph derivations (Q5096277) (← links)
- Canonical derivations for high-level replacement systems (Q5096280) (← links)
- Single pushout transformations of equationally defined graph structures with applications to actor systems (Q5096285) (← links)
- Semantics of full statecharts based on graph rewriting (Q5096287) (← links)
- Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system (Q5096295) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
- Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)
- Horizontal and vertical structuring techniques for statecharts (Q6044117) (← links)
- Concurrent graph and term graph rewriting (Q6162098) (← links)
- A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs (Q6181929) (← links)
- A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity (Q6199404) (← links)