Open Graphs and Computational Reasoning

@inproceedings{Dixon2010OpenGA,
  title={Open Graphs and Computational Reasoning},
  author={Lucas Dixon and Ross Duncan and Aleks Kissinger},
  booktitle={DCM},
  year={2010}
}
  • Lucas Dixon, Ross Duncan, Aleks Kissinger
  • Published in DCM 2010
  • Computer Science
  • We present a form of algebraic reasoning for computational objects which are expressed as graphs. Edges describe the flow of data between primitive operations which are represented by vertices. These graphs have an interface made of half-edges (edges which are drawn with an unconnected end) and enjoy rich compositional principles by connecting graphs along these half-edges. In particular, this allows equations and rewrite rules to be specified between graphs. Particular computational models can… CONTINUE READING

    Topics from this paper.

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 15 CITATIONS

    Open-graphs and monoidal theories

    Pattern Graph Rewrite Systems

    VIEW 3 EXCERPTS
    CITES BACKGROUND & METHODS

    Reasoning with !-graphs

    VIEW 2 EXCERPTS
    CITES METHODS

    Rewriting Context-free Families of String Diagrams

    VIEW 1 EXCERPT
    CITES METHODS

    Normal forms for planar connected string diagrams

    VIEW 2 EXCERPTS
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 14 REFERENCES

    Graphical reasoning in compact closed categories for quantum computation

    Pure bigraphs: Structure and dynamics

    VIEW 1 EXCERPT

    Formal molecular biology

    VIEW 2 EXCERPTS

    Diagram rewriting and operads

    VIEW 1 EXCERPT

    Interaction nets

    VIEW 1 EXCERPT