Minimisation and minimal realisation in Span(Graph)

DOI10.1017/S096012950400430XzbMath1093.68068OpenAlexW2053655101MaRDI QIDQ4653018

Robert F. C. Walters, Robert D. Rosebrugh, Nicoletta Sabadini

Publication date: 28 February 2005

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s096012950400430x

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Calculating Colimits Compositionally ⋮ Blocked-braid groups

This page was built for publication: Minimisation and minimal realisation in Span(Graph)