An Algebraic Foundation for Graph-based Diagrams in Computing

DOI10.1016/S1571-0661(04)80971-XzbMath1260.68114MaRDI QIDQ4917065

Konstantinos Tourlas, A. John Power

Publication date: 26 April 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Hypergraphs (05C65) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Graphs, diagram schemes, precategories (18A10)

Related Items (1)

Zooming-out on Higraph-based diagrams

Cites Work

• Unnamed Item
• Unnamed Item
• Statecharts: a visual formalism for complex systems
• Algebraic categories with few monoidal biclosed structures or none
• Elementary observations on 2-categorical limits
• A characterization of pie limits
• Premonoidal categories and notions of computation

This page was built for publication: An Algebraic Foundation for Graph-based Diagrams in Computing