| MFPS 17 Preliminary Version An Algebraic Foundation for Graph-based Diagrams in Computing (2007) | |||||||||||||||||
Abstract | |||||||||||||||||
| We develop an algebraic foundation for some of the graph-based structures underlying a variety of popular diagrammatic notations for the specication, modelling and programming of computing systems. Using hypergraphs and higraphs as leading examples, | |||||||||||||||||
Publication details | |||||||||||||||||
| |||||||||||||||||