# 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} }

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

## Pattern Graph Rewrite Systems

VIEW 3 EXCERPTS

CITES BACKGROUND & METHODS

## Reasoning with !-graphs

VIEW 2 EXCERPTS

CITES METHODS

## !-Logic : first order reasoning for families of non-commutative string diagrams

VIEW 1 EXCERPT

CITES METHODS

## Rewriting Context-free Families of String Diagrams

VIEW 1 EXCERPT

CITES METHODS

## Rewriting Structured Cospans: A Syntax for Open Systems

VIEW 1 EXCERPT

CITES BACKGROUND

## Normal forms for planar connected string diagrams

VIEW 2 EXCERPTS

CITES BACKGROUND

## Trichromatic Diagrams for Understanding Qubits

VIEW 1 EXCERPT

CITES BACKGROUND

## Introducing pattern graph rewriting in novel spatial aggregation procedures for a class of traffic assignment models

VIEW 1 EXCERPT

CITES BACKGROUND

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 14 REFERENCES

## Towards an algebraic theory of Boolean circuits

VIEW 1 EXCERPT

## Pure bigraphs: Structure and dynamics

VIEW 1 EXCERPT

## Formal molecular biology

VIEW 2 EXCERPTS

## A Survey of Graphical Languages for Monoidal Categories

VIEW 1 EXCERPT

## Diagram rewriting and operads

VIEW 1 EXCERPT

## PROOF-NETS : THE PARALLEL SYNTAX FOR PROOF-THEORY

VIEW 1 EXCERPT

## Interaction nets

VIEW 1 EXCERPT