An Algebraic Foundation for Graph-based Diagrams in Computing

John Power; K Tourlas

doi:10.1016/S1571-0661(04)80971-X

An Algebraic Foundation for Graph-based Diagrams in Computing

John Power
, K Tourlas

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

3 Citations (SciVal)

Abstract

We develop an algebraic foundation for some of the graph-based structures underlying a variety of popular diagrammatic notations for the specification, modelling and programming of computing systems. Using hypergraphs and higraphs as leading examples, a locally ordered category Graph(C) of graphs in a locally ordered category C is defined and endowed with symmetric monoidal closed structure. Two other operations on higraphs and variants, selected for relevance to computing applications, are generalised in this setting.

Original language	English
Pages (from-to)	346-357
Number of pages	12
Journal	Electronic Notes in Theoretical Computer Science
Volume	45
DOIs	https://doi.org/10.1016/S1571-0661(04)80971-X
Publication status	Published - 2001

Access to Document

10.1016/S1571-0661(04)80971-X

Cite this

@article{f027ff8c51e94372a7195541196268c7,

title = "An Algebraic Foundation for Graph-based Diagrams in Computing",

abstract = "We develop an algebraic foundation for some of the graph-based structures underlying a variety of popular diagrammatic notations for the specification, modelling and programming of computing systems. Using hypergraphs and higraphs as leading examples, a locally ordered category Graph(C) of graphs in a locally ordered category C is defined and endowed with symmetric monoidal closed structure. Two other operations on higraphs and variants, selected for relevance to computing applications, are generalised in this setting.",

author = "John Power and K Tourlas",

year = "2001",

doi = "10.1016/S1571-0661(04)80971-X",

language = "English",

volume = "45",

pages = "346--357",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - An Algebraic Foundation for Graph-based Diagrams in Computing

AU - Power, John

AU - Tourlas, K

PY - 2001

Y1 - 2001

N2 - We develop an algebraic foundation for some of the graph-based structures underlying a variety of popular diagrammatic notations for the specification, modelling and programming of computing systems. Using hypergraphs and higraphs as leading examples, a locally ordered category Graph(C) of graphs in a locally ordered category C is defined and endowed with symmetric monoidal closed structure. Two other operations on higraphs and variants, selected for relevance to computing applications, are generalised in this setting.

AB - We develop an algebraic foundation for some of the graph-based structures underlying a variety of popular diagrammatic notations for the specification, modelling and programming of computing systems. Using hypergraphs and higraphs as leading examples, a locally ordered category Graph(C) of graphs in a locally ordered category C is defined and endowed with symmetric monoidal closed structure. Two other operations on higraphs and variants, selected for relevance to computing applications, are generalised in this setting.

UR - http://dx.doi.org/10.1016/S1571-0661(04)80971-X

U2 - 10.1016/S1571-0661(04)80971-X

DO - 10.1016/S1571-0661(04)80971-X

M3 - Article

SN - 1571-0661

VL - 45

SP - 346

EP - 357

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

An Algebraic Foundation for Graph-based Diagrams in Computing

Abstract

Access to Document

Other files and links

Fingerprint

Cite this