An Algebraic Foundation for Graph-based Diagrams in Computing

John Power, K Tourlas

Research output: Contribution to journalArticle

3 Citations (Scopus)

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 languageEnglish
Pages (from-to)346-357
Number of pages12
JournalElectronic Notes in Theoretical Computer Science
Volume45
DOIs
Publication statusPublished - 2001

Fingerprint

Ordered Categories
Diagram
Specifications
Computing
Graph in graph theory
Hypergraph
Notation
Programming
Specification
Closed
Modeling
Relevance

Cite this

An Algebraic Foundation for Graph-based Diagrams in Computing. / Power, John; Tourlas, K.

In: Electronic Notes in Theoretical Computer Science, Vol. 45, 2001, p. 346-357.

Research output: Contribution to journalArticle

@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",

}

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

VL - 45

SP - 346

EP - 357

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -