Span(Graph)Last updated Jul 23, 2024Literature.Span(Graph), a Canonical Feedback Algebra of Open Transition Systems (Di Lavore et al)Feedback, Trace and Fixed-point Semantics (Katis, Sabadini, Walters, 2002)Span(Graph), A Categorial Algebra of Transition Systems (Katis, Sabadini, Walters, 1997)