Pages that link to "Item:Q5308456"

The following pages link to Foundations of Software Science and Computation Structures (Q5308456):

Displaying 50 items.

• Amalgamation of domain specific languages with behaviour (Q347380) (← links)
• Collagories: relation-algebraic reasoning for gluing constructions (Q549680) (← links)
• New wide classes of weakly Mal'tsev categories (Q748711) (← 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)
• The category of 3-computads is not cartesian closed (Q942212) (← links)
• Reasoning with graph constraints (Q973044) (← links)
• A categorial approach to reaction systems: first steps (Q2044950) (← links)
• Single pushout rewriting in comprehensive systems of graph-like structures (Q2049985) (← links)
• Comprehensive systems: a formal foundation for multi-model consistency management (Q2065549) (← links)
• Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
• Graph rewriting and relabeling with PBPO\textsuperscript{+} (Q2117259) (← links)
• Finite limits and anti-unification in substitution categories (Q2185886) (← links)
• Rule-based transformation of graph rewriting rules: towards higher-order graph grammars (Q2355681) (← links)
• Moment Semantics for Reversible Rule-Based Systems (Q2822487) (← links)
• On term graphs as an adhesive category (Q2848118) (← links)
• Connector rewriting with high-level replacement systems (Q2866320) (← links)
• On the axioms for adhesive and quasiadhesive categories (Q2884483) (← links)
• Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
• Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation (Q2888500) (← links)
• Adhesivity with partial maps instead of spans (Q2898462) (← links)
• Parallelism in AGREE Transformations (Q3187802) (← links)
• (Q3300791) (← links)
• Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
• Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
• From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
• Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
• Grammar Morphisms and Weakly Adhesive Categories (Q3540427) (← links)
• Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (Q3540428) (← links)
• Spans of cospans (Q4563230) (← links)
• Decorated Corelations (Q4577990) (← links)
• Van Kampen Colimits and Path Uniqueness (Q4643957) (← links)
• Coarse-Graining Open Markov Processes (Q4646813) (← links)
• (Q5021222) (← links)
• (Q5021225) (← links)
• Directed Bigraphs (Q5262934) (← links)
• Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras (Q5283211) (← links)
• Adhesive and quasiadhesive categories (Q5313719) (← links)
• (Q5382449) (← links)
• A Logic of Graph Constraints (Q5460000) (← links)
• Fundamentals of compositional rewriting theory (Q6052944) (← links)
• Spined categories: generalizing tree-width beyond graphs (Q6056559) (← links)
• Computational category-theoretic rewriting (Q6113023) (← links)
• Arboreal categories and equi-resource homomorphism preservation theorems (Q6131200) (← links)
• Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
• Computational Category-Theoretic Rewriting (Q6487309) (← links)
• Termination of graph transformation systems using weighted subgraph counting (Q6535508) (← links)
• Fuzzy presheaves are quasitoposes (Q6535509) (← links)
• Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem (Q6535510) (← links)
• Pregeometric spaces from Wolfram model rewriting systems as homotopy types (Q6570188) (← links)